uppaal-v4.1

用时间自动机建模，并对其进行自动化验证的可视化工具。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2010-08-18 09:41  uppaal-4.1.3\
     目录           0  2009-09-03 09:23  uppaal-4.1.3\lib\
     文件       23743  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-svg.jar
     文件      176234  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-swf.jar
     文件      153253  2010-09-10 08:03  uppaal-4.1.3\lib\jdom.jar
     文件       34597  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphics2d.jar
     文件      665029  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-base.jar
     文件      114580  2010-09-10 08:03  uppaal-4.1.3\lib\jlfgr-1_0.jar
     文件       25338  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-java.jar
     文件       73632  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-pdf.jar
     文件      218257  2010-09-10 08:03  uppaal-4.1.3\lib\model.jar
     文件      113837  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-cgm.jar
     文件      531676  2010-09-10 08:03  uppaal-4.1.3\lib\jh.jar
     文件        8751  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-ppm.jar
     文件       50332  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-ps.jar
     文件       70077  2010-09-10 08:03  uppaal-4.1.3\lib\editor.jar
     文件       43487  2010-09-10 08:03  uppaal-4.1.3\lib\swixml.jar
     文件      247174  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio.jar
     文件      141030  2010-09-10 08:03  uppaal-4.1.3\lib\freehep-graphicsio-emf.jar
     目录           0  2010-08-05 13:46  uppaal-4.1.3\demo\
     文件        7156  2010-08-05 13:46  uppaal-4.1.3\demo\lsc_train-gate_parameters.xml
     文件        4192  2010-08-05 13:46  uppaal-4.1.3\demo\lsc_example.xml
     文件         105  2010-08-05 13:46  uppaal-4.1.3\demo\lsc_train-gate_parameters.q
     文件         426  2009-09-03 09:23  uppaal-4.1.3\demo\fischer.q
     文件        4484  2009-09-03 09:23  uppaal-4.1.3\demo\train-gate.xml
     文件         265  2009-09-03 09:23  uppaal-4.1.3\demo\fischer_symmetry.q
     文件         183  2009-09-03 09:23  uppaal-4.1.3\demo\interrupt.q
     文件         522  2009-09-03 09:23  uppaal-4.1.3\demo\bridge.q
     文件        1808  2009-09-03 09:23  uppaal-4.1.3\demo\2doors.q
     文件        1608  2009-09-03 09:23  uppaal-4.1.3\demo\fischer.xml
     文件        1665  2009-09-03 09:23  uppaal-4.1.3\demo\fischer_symmetry.xml
............此处省略15个文件信息