NuSMV 1.1 User Manual
Alessandro Cimatti
cimatti@irst.itc.it
IRST - Via Sommarive 18, 38055 Povo (Trento) -- Italy
Marco Roveri
roveri@irst.itc.it
IRST - Via Sommarive 18, 38055 Povo (Trento) -- Italy
DSI, University of Milano, Via Comelico 39, 20135 Milano, Italy
NuSMV <nusmv@irst.itc.it>