NUSMV方法安装及例子运行
系统ubuntu12.04
参考博客 http://blog.csdn.net/yingzinanfei/article/details/54808674
方法一:直接下载官网的二进制版本http://nusmv.fbk.eu/bin/bin_download2-v2.cgi
这个解压一下直接就可以用,不需要编译
解压命令 sudo tar zxvf NuSMV2.6.0-linux.tar.gz
解压之后有四个目录 bin include lib share
执行bin/NUSMV /<程序目录>/xxx.smv
当前目录是/home/xielei/Downloads/NuSMV-2.6.0-Linux/share/nusmv/examples
/home/xielei/Downloads/NuSMV-2.6.0-Linux/bin/NuSMV /<所在目录>/short.smv
方法二:下载源代码http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz
1.安装依赖
sudo apt-get install gcc flex bison cmake tar gzip libxml2 libreadline6 librealine6-dev Doxygen texlive texmaker
//以上这些一定要装好,不然之后cmake会报错的,如果无法一起装,就一个个地装
2. 构建项目,记nusmv解压后的目录为<TOPDIR>
//我是放在/home/xielei/NuSMV-2.6.0中
3.创建空目录,以生成项目文件
进入子目录# cd NuSMV# pwd
<TOPDIR>/NuSMV
# mkdir build
# cd build
# pwd
<TOPDIR>/NuSMV/build
4. 使用cmake来构建项目
# sudo cmake ..
[...]
-- Build files have been written to: <TOPDIR>/NuSMV/build
5. 如果构建项目成功,开始编译NuSMV
# pwd
<TOPDIR>/NuSMV/build
# sudo make
make成功后可执行文件存放于<TOPDIR>/NuSMV/build/bin
6. 将NuSMV依赖的文件master.nusmvrc所在目录导入环境变量
# sudo gedit ~./bashrc
添加以下语句
# export NUSMV_LIBRARY_PATH=<TOPDIR>/NuSMV/share/nusmv
//我的是export NUSMV_LIBRARY_PATH=/home/xielei/NuSMV-2.6.0/NuSMV/share/nusmv
7.现在可以使用NuSMV来测试安装包里的例子
# pwd<TOPDIR>/NuSMV/build
# bin/NuSMV ../examples/smv-dist/counter.smv
//我又试了一下其他的例子,成功
xielei@xielei:~/NuSMV-2.6.0/NuSMV/examples$ /home/xielei/NuSMV-2.6.0/NuSMV/build/bin/NuSMV smv-dist/robot.smv (我当前是在examples目录下)
!!!执行SMV程序的语句!!!
#<TOPDIR>/NuSMV/build/bin/NUSMV <TOPDIR>/NuSMV/examples/aaa.smv
//也就是使用build目录下的bin/NUSMV [空格] /<所在目录>/xxx.smv