Papers
Highlights
-
NuSMV 2: An OpenSource Tool for Symbolic Model Checking A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani and A. Tacchella. In Proceeding of International Conference on Computer-Aided Verification (CAV 2002). Copenhagen, Denmark, July 27-31, 2002
BibTeX Entry, PostScript, Gzipped PostScript, PDF -
Integrating BDD-based and SAT-based Symbolic Model Checking. A. Cimatti, E. Giunchiglia, M. Roveri, M. Pistore, R. Sebastiani and A. Tacchella. In Proceeding of 4th International Workshop on Frontiers of Combining Systems (FroCoS'2002). April 8-10, 2002. Santa Margherita Ligure, Genova, Italy.
BibTeX Entry, PostScript, Gzipped PostScript, PDF -
Improving the Enconding of LTL model checking into SAT. A. Cimatti, M. Pistore, M. Roveri and R. Sebastiani. In Proceeding of workshop on Verification Model Checking and Abstract Interpretation (VMCAI 2002). Venice, Italy, January 21st - 22nd, 2002.
BibTeX Entry, PostScript, Gzipped PostScript, PDF
Introduction to NuSMV
- NuSMV short overview
- NuSMV: a new symbolic model verifier. A. Cimatti, E. Clarke, F. Giunchiglia and M. Roveri. In N. Halbwachs and D. Peled, editors. Proceeding of International Conference on Computer-Aided Verification (CAV'99). In Lecture Notes in Computer Science, number 1633, pages 495-499, Trento, Italy, July 1999. Springer
BibTeX Entry, HTML, PostScript, Gzipped PostScript, PDF - NuSMV: a new symbolic model checker. A. Cimatti, E. Clarke, F. Giunchiglia and M. Roveri. Invited paper at the STTT International Journal on Software Tools for Technology Transfer. Editors-in-Chief: B. Steffen - W. R. Cleaveland. To be published.
HTML, PostScript, Gzipped PostScript, PDF - MCT'99: A Hands-on Tutorial on Model Checking: NuSMV. A. Cimatti, M. Pistore and M. Roveri. Slides of the Model Checking Tutorial held during the The 1999 Federated Logic Conference (FLoC'99).
PostScript, Gzipped PostScript, PDF