NuSMV
1) 安装
两种方式:
一是直接下载二进制文件,可直接使用。
二是下载源代码,编译安装。
http://nusmv.fbk.eu/distrib/NuSMV-2.5.0.tar.gz
http://nusmv.fbk.eu/distrib/NuSMV-2.5.4.tar.gz
首先make编译cudd,如果是64位系统,需要将makefile替换为64位的。否则后面使用的时候会出错。
然后到nusmv中进行confiure && make && make install。