Windows, Mac and Linux:
- We recommend downloading the 64-bit version.
Unzip the archive to a folder of your choice.
You can run NuSMV in console mode using the respective binary in the
NuSMV). Supply the path to the
.smvfile you want to load as an argument:
cd /path/to/nusmv/bin ./NuSMV /path/to/file.smv
If you want to have the
NuSMVcommand generally available within the command line without the need of navigating to the program folder first, add the
binfolder to the
PATHenvironment variable. You can find resources online on how to do that for your respective operating system. For instance, consult this GitHub Gist.
An introduction to using NuSMV can be found in the NuSMV tutorial. Further details can be found in the user manual.