NUSMV: a new symbolic
The NUSMV graphical user
The functionalities provided by N
SMV are described below. They are grouped in standard, advanced and user functionalities.
Fair CTL model checking.
Check for Transition Relation Totality.
Quantitative characteristics computation.
LTL model checking.
Partitioning of the model.
On the fly modification of the model.
Help on line.