陈止风的博客

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/nusmvyunxingyanglijiexi/short.smv代码 MODULE main # 新建模型，名为main VAR # 变量声明 request : {Tr, Fa}; # 变量re

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/nusmvanzhuangyushiyong/下载源代码 http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz 最新的2.6.0版本可以自动下载MiniSat和ZChaff安装依赖sudo yum install gcc flex bison c

来源自我的博客 http://www.yingzinanfei.com/2017/02/01/cygwinhuanjinganzhuangnusmv/安装NuSMV的过程参见另一篇安装过程，本文记录安装中出现的错误及解决方案安装供下载MiniSat依赖的patch指令apt-cyg install patch安装readlineapt-cyg install libreadline7