NuSMV
文章平均质量分 75
Ashely_Xie
这个作者很懒,什么都没留下…
展开
-
NuSMV安装及例子运行
NUSMV方法安装及例子运行系统ubuntu12.04参考博客 http://blog.csdn.net/yingzinanfei/article/details/54808674方法一:直接下载官网的二进制版本http://nusmv.fbk.eu/bin/bin_download2-v2.cgi这个解压一下直接就可以用,不需要编译解压命令 sudo tar zxvf N翻译 2017-03-23 16:29:28 · 3388 阅读 · 0 评论 -
NuSMV安装及例子运行
NUSMV方法安装及例子运行系统ubuntu12.04参考博客 http://blog.csdn.net/yingzinanfei/article/details/54808674方法一:直接下载官网的二进制版本http://nusmv.fbk.eu/bin/bin_download2-v2.cgi这个解压一下直接就可以用,不需要编译解压命令 sudo tar zxvf N转载 2017-03-23 16:35:20 · 3367 阅读 · 1 评论