NuSMV is available on DICE machines in the AT labs. We are using v2.6 (although version 2.5.4 should also be fine). A Tutorial and User Manual are available from the NuSMV website. Visit this website for binaries for Linux or Windows and for source code.
See the NuSMV lecture slides for a brief introduction to NuSMV. The input files discussed in the slides are
The simplest way to run NuSMV is in batch mode: type
NuSMV a.smv at a Unix command-line prompt to run NuSMV on
a.smv. Useful NuSMV command-line options include:
NuSMV also has an interactive mode which allows much finer control of
NuSMV's behaviour. To run in interactive mode on file
a.smv, use the command
NuSMV -int a.smv.
Useful commands at the
NuSMV> interactive prompt include
For a brief description of the options supported by a command, run the command with option -h. For more details, see the User Manual.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: email@example.com
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh