NuSMV 2.6.0 was used to develop the system.
You can find all versions of NuSMV at this link
We expect to have the NuSMV executable which can be obtained by filling out the form at this link
If you want to test, download the NuSMV executable to this folder and edit the config.ini file.