NuSmv安装与使用

  1. 下载源代码
    > http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz

最新的2.6.0版本可以自动下载MiniSat和ZChaff

  1. 安装依赖
sudo yum install gcc flex bison cmake tar gzip libxml2 readline doxygen tex readline-devel 
  1. 构建项目,记nusmv解压后的目录为<TOPDIR>
  2. 创建空目录,以生成项目文件
进入子目录
# cd NuSMV
# pwd
<TOPDIR>/NuSMV
# mkdir build
# cd build
# pwd
<TOPDIR>/NuSMV/build
  1. 使用cmake来构建项目
# cmake ..
[...]
-- Build files have been written to: <TOPDIR>/NuSMV/build
  1. 如果构建项目成功,开始编译NuSMV
# pwd
<TOPDIR>/NuSMV/build
# make
make成功后可执行文件存放于<TOPDIR>/NuSMV/build/bin
  1. 将NuSMV依赖的文件master.nusmvrc所在目录导入环境变量
# export NUSMV_LIBRARY_PATH=<TOPDIR>/NuSMV/share/nusmv
  1. 现在可以使用NuSMV来测试安装包里的例子
# pwd
<TOPDIR>/NuSMV/build
# bin/NuSMV ../examples/smv-dist/counter.smv
  1. 样例中的smv文件表示的是由系统状态图转换成的SMV模型,其生成语法可参考官方文档
    > NuSMV语法
    > http://nusmv.fbk.eu/NuSMV/userman/v26/nusmv.pdf

NuSMV2.6手册
http://nusmv.fbk.eu/NuSMV/tutorial/v26/tutorial.pdf

关于“NuSmv安装与使用”我的1个想法

  1. 你好,我最近在学习NUSMV,安装步骤中的cmake构建项目这里不太懂,想请教一下为什么
    CMake Error: The source directory “/home/xie/NuSMV” does not appear to contain CMakeLists.txt.
    我是下载好NuSMV-2.6之后,把它解压到/home/NuSMV中,并且新建的文件夹build也放在NuSMV中,然后我就按照教程上的,在build目录下执行了cmake命令,完全按照叫教程上的敲的 cmake .. (这里的..应该表示其他内容吧,但是我不懂,就直接写的cmake ..)
    因为刚接触linux,很多东西都不熟悉,麻烦您给我回复下行吗,谢谢

发表评论