1. 首页
  2. 编程语言
  3. 其他
  4. UPPAAL 4.1 Model Checker

UPPAAL 4.1 Model Checker

上传者: 2019-09-14 09:27:51上传 ZIP文件 9.67MB 热度 50次
最流行的模型检测工具,用于实时系统模型检测。
下载地址
用户评论
码姐姐匿名网友 2019-09-14 09:27:51

亲测可用,就是不是最新的版本了。

码姐姐匿名网友 2019-09-14 09:27:51

中文版的4.1.13,可以正常使用