会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
AidenChen8
博客园
首页
新随笔
联系
订阅
管理
2020年11月8日
NuSMV 学习笔记
摘要: NuSMV(New Symbolic Model Verifier)新符号模型检测工具 1、安装方法 win64下,下载二进制文件:http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz CMD进入bin文件夹运行 NuSMV, 得到以下结果 2、数
阅读全文
posted @ 2020-11-08 05:57 AidenChen8
阅读(1726)
评论(0)
推荐(0)
编辑
公告