Ausgabe 2/2011
Special issue on Hardware Verification Workshop (HWVW '10)
Inhalt (6 Artikel)
Exploring structural symmetry automatically in symbolic trajectory evaluation
Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng
Specification and encoding of transaction interaction properties
Divjyot Sethi, Yogesh Mahajan, Sharad Malik
Feasibility analysis for robustness quantification by symbolic model checking
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younes
Incremental preprocessing methods for use in BMC
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
Benchmarking a model checker for algorithmic improvements and tuning for performance
Gianpiero Cabodi, Sergio Nocco, Stefano Quer