Next:
The SMV specification language
Up:
NUSMV: a new symbolic
Previous:
Fields of Application
N
U
SMV: Look and Feel
The SMV specification language
The interaction with N
U
SMV
The N
U
SMV interactive shell
The N
U
SMV batch mode
The N
U
SMV graphical user interface
NuSMV
<
>
>