Next:
Encoding.
Up:
System Functionalities
Previous:
System Functionalities
Standard Functionalities
N
U
SMV offers all the standard model checking functionalities. A brief summary is reported below.
Encoding.
Reachability Analysis.
Fair CTL model checking.
Check for Transition Relation Totality.
Counterexamples Generation.
NuSMV
<
>
>