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't much information on the internet about this, so I'd appreciate any help

Did you try to append the `bin` directory including the *NuSMV* executable that you just built to the `PATH` variable, and export it? — Patrick Trentin, Apr 16 '16 at 10:47
this was the last step I did % export NUSMV_LIBRARY_PATH=[...]//NuSMV/share/nusmv I do have a bin directory with NuSMV executable — user3531263er, Apr 16 '16 at 10:50
yes i've included this, export PATH="$HOME/nusmv/NuSMV-2.6.0/NuSMV/build/bin:$PATH" — user3531263er, Apr 16 '16 at 10:58

score 1 · Accepted Answer · answered Apr 16 '16 at 11:25

1

Going to my home directory, and creating a new bash profile and appending the bin directory with the NuSMV executable made it work just fine.

answered Apr 16 '16 at 11:25

user3531263er

423
1
4
20

score 1 · Answer 2 · answered Mar 26 '20 at 08:30

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

Running NuSMV on OSX

2 Answers2

Linked