First you need to add the following line to the file called
.profile in your home directory.
export CS424=y
You may have to logout and login again for this change to take effect. After having done this, the NuSMV model checker can be run with the command
NuSMV <filename>
This model checker processes input from a textual file format and can be controlled by command-line options. For a complete description of the SMV input language and the options,
Robi Malik,
Department of Computer Science, The University of Waikato;
