Volume 39, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 39, Issue 2

October 2011

Special issue on Hardware Verification Workshop (HWVW '10)

Issue Editors:

Armin Biere,
Karen Yorav

6 articles in this issue

Preface
Armin Biere
Karen Yorav
EditorialNotes 27 October 2011 Pages: 115 - 116
Exploring structural symmetry automatically in symbolic trajectory evaluation
Yongjian Li
William N. N. Hung
Naiju Zeng
OriginalPaper 26 May 2011 Pages: 117 - 143
Specification and encoding of transaction interaction properties
Divjyot Sethi
Yogesh Mahajan
Sharad Malik
OriginalPaper 19 May 2011 Pages: 144 - 164
Feasibility analysis for robustness quantification by symbolic model checking
Souheib Baarir
Cécile Braunstein
Sana Younes
OriginalPaper 26 May 2011 Pages: 165 - 184
Incremental preprocessing methods for use in BMC
Stefan Kupferschmid
Matthew Lewis
Bernd Becker
OriginalPaper 19 May 2011 Pages: 185 - 204
Benchmarking a model checker for algorithmic improvements and tuning for performance
Gianpiero Cabodi
Sergio Nocco
Stefano Quer
OriginalPaper 31 May 2011 Pages: 205 - 227