External tools
nuXmv
Download
After installing, you need to ensure that nuXmv is "on the path":
- On Linux and MacOS, follow standard instructions
- On Windows:
- Go to Windows' Control Panel
- Go to System - Advanced System Settings (on the right of the window)
- In the System Properties box select the "Advanced" tab and then "Environment Variables"
- Look for the "Path" variable and extend its value by appending ";" followed by the directory of the nuXmv executable
(e.g., "your-nuXmv-install-path\nuxmv-1.0-windows\nuXmv\bin" at the time of the writing).
NuSMV
If nuXmv does not work for some reason, you can try its predecessor NuSMV.
To be sure NuSMV is on the path, apply the same technique as above (directory of NuSMV would typically be "your-NuSMV-install-path\NuSMV-2.6.0-win64\bin" by default).