文件名称:uppaal-4.0.13-aca
- 所属分类:
- 软件工程
- 资源属性:
- [Windows] [程序]
- 上传时间:
- 2013-11-18
- 文件大小:
- 5.4mb
- 下载次数:
- 0次
- 提 供 者:
- Arpit *******
- 相关连接:
- 无
- 下载说明:
- 别用迅雷下载,失败请重下,重下不扣分!
介绍说明--下载内容均来自于网络,请自行研究使用
Uppal is a prototype verification tool to maodel and verify prototype
(系统自动生成,下载前可以参看下载内容)
下载文件列表
uppaal-4.0.13
.............\lib
.............\...\jdom.jar
.............\...\jlfgr-1_0.jar
.............\...\model.jar
.............\...\jh.jar
.............\...\editor.jar
.............\...\swixml.jar
.............\man
.............\...\man1
.............\...\....\uppaal.1
.............\demo
.............\....\fischer.q
.............\....\train-gate.xml
.............\....\fischer_symmetry.q
.............\....\interrupt.q
.............\....\bridge.q
.............\....\2doors.q
.............\....\fischer.xml
.............\....\fischer_symmetry.xml
.............\....\train-gate.q
.............\....\bridge.xml
.............\....\interrupt.xml
.............\....\2doors.xml
.............\uppaal.jar
.............\bin-Linux
.............\.........\verifyta
.............\.........\server
.............\bin-Win32
.............\.........\verifyta.exe
.............\.........\server.exe
.............\readme.txt
.............\uppaal