Next: 1. Introduction Up: NuSMV papers

NuSMV: a new Symbolic Model Verifier

A. Cimatti¹ - E. Clarke² - F. Giunchiglia¹ - M. Roveri^1,3

¹ITC-IRST, Via Sommarive 18, 38055 Povo, Trento, Italy
{cimatti,fausto,roveri}@irst.itc.it
²SCS, Carnegie-Mellon University, 5000 Forbes Avenue, Pittsburgh, PA
15213-3891, USA, Edmund.Clarke@cs.cmu.edu
³DSI, University of Milano, Via Comelico 39, 20135 Milano, Italy

1. Introduction
2. System Functionalities
3. System Architecture
4. Implementation
5. Results and Future Directions
Bibliography

NuSMV <nusmv@irst.itc.it>