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