自定义博客皮肤VIP专享

*博客头图：

点击选择上传的图片

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

点击选择上传的图片

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

点击选择上传的图片

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览取消提交

自定义博客皮肤

上一步保存

ponylamb112的博客

原创运行TransUnet踩坑记录

运行TransUnet遇到的问题

2022-04-11 15:52:46 1842 7

使用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 2136 2