next up previous
Next: 1. Introduction Up: NuSMV papers

NuSMV: a new Symbolic Model Verifier

A. Cimatti1 - E. Clarke2 - F. Giunchiglia1 - M. Roveri1,3


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






NuSMV <>