Running NuSMV on OSX

Question

I have installed NuSMV using the readme provided, however when I try to use the NuSMV command, I get the following message: -bash: NuSMV: command not found

There isn

Answer 1

How to make it work on MacOSX

---

got to this link : http://nusmv.fbk.eu/

click
NuSMV 2.6.0 is OUT!

Select : NuSMV binaries image

Fill out the details and register : you will be able to download a zip file, extract it and copy it anywhere you want. Now we need to set the path.

Open terminal and do something like this: Add the directory /opt/nusmv-X.Y.Z/bin to your command search PATH environment variable. E.g. for bash shell:

% export PATH=${PATH}:/opt/nusmv-X.Y.Z/bin

set the NUSMV_LIBRARY_PATH environment variable. E.g. for bash shell:

% export NUSMV_LIBRARY_PATH=/opt/nusmv-X.Y.Z/share/nusmv

Now you are ready to run and enjoy NuSMV.

% NuSMV -int # to run the interactive mode