1. 首页
  2. 编程语言
  3. 其他
  4. 下载

nusmv(WIN)

下载
ting5998469 18 0 EXE 2020-06-10 14:06:41

nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。

用户评论
请输入评论内容
评分：
Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

旧版本的，一些性质不能验证，还需在linux下执行。

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

确实是旧版本，不过写论文用，还是够了

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

可以用，不过是2.4.3 现有有2.5版本的了

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41

版本比较低啊

Generic placeholder image 卡了网匿名网友 2020-06-10 14:06:41