来源自我的博客
http://www.yingzinanfei.com/2017/02/01/nusmvanzhuangyushiyong/
最新的2.6.0版本可以自动下载MiniSat和ZChaff
- 安装依赖
sudo yum install gcc flex bison cmake tar gzip libxml2 readline doxygen tex readline-devel
- 构建项目,记nusmv解压后的目录为
<TOPDIR>
- 创建空目录,以生成项目文件
进入子目录
# cd NuSMV