UPPAAL-4.0.14

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

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2014-02-04 16:45  uppaal-4.0.14\
     文件         893  2014-02-04 16:45  uppaal-4.0.14\uppaal
     目录           0  2014-02-04 16:45  uppaal-4.0.14\demo\
     文件         419  2014-02-04 16:45  uppaal-4.0.14\demo\fischer.q
     文件        1349  2014-02-04 16:45  uppaal-4.0.14\demo\train-gate.q
     文件        1665  2014-02-04 16:45  uppaal-4.0.14\demo\fischer_symmetry.xml
     文件        3165  2014-02-04 16:45  uppaal-4.0.14\demo\bridge.xml
     文件        1608  2014-02-04 16:45  uppaal-4.0.14\demo\fischer.xml
     文件        3626  2014-02-04 16:45  uppaal-4.0.14\demo\2doors.xml
     文件         522  2014-02-04 16:45  uppaal-4.0.14\demo\bridge.q
     文件        4484  2014-02-04 16:45  uppaal-4.0.14\demo\train-gate.xml
     文件        1808  2014-02-04 16:45  uppaal-4.0.14\demo\2doors.q
     文件         189  2014-02-04 16:45  uppaal-4.0.14\demo\fischer_symmetry.q
     文件        3772  2014-02-04 16:45  uppaal-4.0.14\demo\interrupt.xml
     文件         183  2014-02-04 16:45  uppaal-4.0.14\demo\interrupt.q
     目录           0  2014-02-21 14:53  uppaal-4.0.14\bin-Linux\
     文件     2988112  2014-05-20 15:35  uppaal-4.0.14\bin-Linux\verifyta
     文件     2996304  2014-05-20 15:35  uppaal-4.0.14\bin-Linux\server
     文件      577718  2014-05-20 15:34  uppaal-4.0.14\uppaal.jar
     目录           0  2014-02-04 16:45  uppaal-4.0.14\lib\
     文件      148264  2014-05-20 15:34  uppaal-4.0.14\lib\jdom.jar
     文件      164872  2014-05-20 15:34  uppaal-4.0.14\lib\model.jar
     文件      114580  2014-05-20 15:34  uppaal-4.0.14\lib\jlfgr-1_0.jar
     文件       44086  2014-05-20 15:34  uppaal-4.0.14\lib\swixml.jar
     文件      531676  2014-05-20 15:34  uppaal-4.0.14\lib\jh.jar
     文件       69961  2014-05-20 15:34  uppaal-4.0.14\lib\editor.jar
     文件        5737  2014-02-04 16:45  uppaal-4.0.14\readme.txt
     目录           0  2014-02-04 16:45  uppaal-4.0.14\bin-Win32\
     文件     2422272  2014-05-20 15:37  uppaal-4.0.14\bin-Win32\verifyta.exe
     文件     2433536  2014-05-20 15:37  uppaal-4.0.14\bin-Win32\server.exe
     目录           0  2014-02-04 16:45  uppaal-4.0.14\man\
............此处省略2个文件信息