Professional Documents
Culture Documents
NUSMV Installation
NUSMV Installation
***********************************
1) Download NuSmv 2.6 (src) from
http://nusmv.fbk.eu/NuSMV/download/getting-v2.html
Extract and place in home directory
2) Install follwoinf softwares required ( also gcc and g )
sudo apt-get install cmake flex bison libreadline-dev
3) Go to /home/username/NuSMV-2.6.0/NuSMV ( open terminal ) and make directory a
nd go into that directory
mkdir build
cd build/
4) cmake with zchaff on
cmake .. -DENABLE_ZCHAFF=ON
5) sudo make
6) gedit ~/.bashrc
add follwoing line to end of .bashrc file and save
export NUSMV_LIBRARY_PATH=/home/username/NuSMV-2.6.0/NuSMV/share/nusmv/
7) Go to /home/username/NuSMV-2.6.0/NuSMV/build/ folder and open terminal run fo
llowing command
sudo make install
8) check if software install by writing
NuSMV
-----------------------------------------------------------------------------------------------------------------------------------Install NuXmv Software Steps
**********************************
1) Download NuXmv fromor copy from usb ( use affiliation usd and email
https://es-static.fbk.eu/tools/nuxmv/index.php?n=Download.Download
2) extract and place in home directory nuXmv-1.1.1-Linux
3) Open terminal from home directory and open bashrc file using
gedit ~/.bashrc