形式化建模验证SMV模型检验器

时间：2014-06-13 15:19:05
【文件属性】：

文件名称：形式化建模验证SMV模型检验器

文件大小：3.82MB

文件格式：RAR

更新时间：2014-06-13 15:19:05

SMV

使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验

立即下载

【文件预览】：
smv_10-11-02p46.exe

网友评论

  • 不知道怎么用
  • 不错，挺好用的。
  • 初学，不怎么会用，还一直探索中
  • 很好的资源 使用还需要多学习
  • 很好的资源
  • 可用~可惜没有教程~
  • 工具是对的，但是不会用啊。。。要是有个使用说明就更好了
  • 很好的模型验证工具！
  • 不好用，与SMV验证器、NuSMV验证都不一样哦。
  • 可以安装，初学，不知道则么用噶。。

相关文章