文件名称：UPPAAL-4.0.14
文件大小：5.6MB
文件格式：ZIP
更新时间：2018-03-01 15:22:10
实时验证工具
UPPAAL 是由瑞典的Uppsala 大学与丹麦的Aalborg 大学联合研发的一种自动验证工具, 主要对实时系统 模拟、仿真和验证, 已成功地用于实时控制器和通信 协议的验证
【文件预览】：
uppaal-4.0.14
----bin-Win32()
--------verifyta.exe(2.31MB)
--------server.exe(2.32MB)
----lib()
--------jdom.jar(145KB)
--------editor.jar(68KB)
--------swixml.jar(43KB)
--------model.jar(161KB)
--------jlfgr-1_0.jar(112KB)
--------jh.jar(519KB)
----bin-Linux()
--------verifyta(2.85MB)
--------server(2.86MB)
----demo()
--------fischer_symmetry.xml(2KB)
--------2doors.xml(4KB)
--------train-gate.xml(4KB)
--------interrupt.xml(4KB)
--------interrupt.q(183B)
--------2doors.q(2KB)
--------bridge.q(522B)
--------bridge.xml(3KB)
--------fischer_symmetry.q(189B)
--------fischer.q(419B)
--------train-gate.q(1KB)
--------fischer.xml(2KB)
----uppaal.jar(564KB)
----man()
--------man1()
----readme.txt(6KB)
----uppaal(893B)