- 博客(3)
- 收藏
- 关注
原创 使用NuSMV实现过河问题
使用NuSMV实现过河问题一、形式化验证工具的安装一、形式化验证工具的安装本次实验所需要的工具http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz解压后,即可得到具有如下目录的文件夹:建议解压到自己的用户文件夹下(例如我解压到)C:\Users\xiaoma\NuSMV-2.6.0(方便起见,将NuSMV-2.6.0名字修改成简单的nusmv2601)新建一个txt文件,复制以下代码到test.txt,然后重命名为test.smv,将test.
2020-11-30 17:39:52
2195
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人