External tools

nuXmv

Download After installing, you need to ensure that nuXmv is "on the path":

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).