Next: Standard Functionalities
Up: NUSMV: a new symbolic
Previous: The NUSMV graphical user
System Functionalities
The functionalities provided by NUSMV are described below. They are
grouped in standard, advanced and user functionalities.
NuSMV <nusmv@irst.itc.it>