【文件属性】：
文件名称：形式化建模验证SMV模型检验器
文件大小：3.82MB
文件格式：RAR
更新时间：2014-06-13 15:19:05
SMV
使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验
【文件预览】：
smv_10-11-02p46.exe
网友评论
- 不知道怎么用
- 不错，挺好用的。
- 初学，不怎么会用，还一直探索中
- 很好的资源 使用还需要多学习
- 很好的资源
- 可用~可惜没有教程~
- 工具是对的，但是不会用啊。。。要是有个使用说明就更好了
- 很好的模型验证工具！
- 不好用，与SMV验证器、NuSMV验证都不一样哦。
- 可以安装，初学，不知道则么用噶。。