UPPAAL-4.0.14

上传：penjian2918 浏览： 19 推荐： 0 文件：ZIP 大小：5.6MB 上传时间：2019-01-03 02:57:02 版权申诉

UPPAAL 是由瑞典的Uppsala 大学与丹麦的Aalborg 大学联合研发的一种自动验证工具, 主要对实时系统模拟、仿真和验证, 已成功地用于实时控制器和通信协议的验证