-
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, Poscript, Gzipped Poscript 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, Poscript, Gzipped
Poscript 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, Poscript, Gzipped
Poscript PDF
- 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, Poscript, Gzipped Poscript
- 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, Poscript, Gzipped Poscript
- 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).
Poscript, Gzipped
Poscript
|
NuSMV Home Page.
>