uppaal4.1.19.zip
内容包含Uppaal工具,及简单教程,注意必须提前安装好Java1.8及以上环境,运行uppaal.jar,即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具(例如Uppaal)就是基于时间自动机理论制作的。
文件列表
uppaal-4.1.19.zip
(预估有个143文件)
uppaal.jar
964KB
uppaal.ico
45KB
server.exe
4.17MB
verifyta.exe
4.26MB
freehep-graphicsio-javadoc.jar
685KB
freehep-graphicsio-emf-javadoc.jar
764KB
jena-core.jar
1.65MB
wink-common.jar
575KB
freehep-graphicsio-swf-javadoc.jar
906KB
freehep-graphicsio-sources.jar
624KB
用户评论