uppaal-4.1.19.zip

【实例简介】
内容包含Uppaal工具，及简单教程，注意必须提前安装好Java1.8及以上环境，运行uppaal.jar，即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具（例如Uppaal）就是基于时间自动机理论制作的。
【实例截图】
【核心代码】
uppaal-4.1.19
└── uppaal-4.1.19
├── AddLinks.sh
├── AddLinks.vbs
├── bin-Linux
│   ├── server
│   ├── socketserver
│   └── verifyta
├── bin-Win32
│   ├── server.exe
│   └── verifyta.exe
├── demo
│   ├── 2doors.xml
│   ├── bridge.xml
│   ├── fischer_symmetry.xml
│   ├── fischer.xml
│   ├── interrupt.xml
│   ├── lsc_example.xml
│   ├── lsc_train-gate_parameters.xml
│   ├── ModelDemo.java
│   ├── scheduling3.xml
│   ├── scheduling4.xml
│   ├── SchedulingFramework.xml
│   ├── smc
│   │   ├── ball.xml
│   │   ├── bluetooth.cav.xml
│   │   ├── ClientServer.xml
│   │   ├── csma-ca.xml
│   │   ├── dice.xml
│   │   ├── ex-proba1.xml
│   │   ├── ex-proba2.xml
│   │   ├── firewire.cav.xml
│   │   ├── fischer-stat.xml
│   │   ├── genosc-hybrid.xml
│   │   ├── genosc.xml
│   │   ├── leader-election.xml
│   │   ├── lmac6.xml
│   │   ├── oscillate.xml
│   │   ├── samplesmc.xml
│   │   ├── train-gate-stat.xml
│   │   └── trig.xml
│   └── train-gate.xml
├── lib
│   ├── editor.jar
│   ├── freehep-graphics2d.jar
│   ├── freehep-graphics2d-javadoc.jar
│   ├── freehep-graphics2d-sources.jar
│   ├── freehep-graphicsbase.jar
│   ├── freehep-graphicsbase-javadoc.jar
│   ├── freehep-graphicsbase-sources.jar
│   ├── freehep-graphicsio-emf.jar
│   ├── freehep-graphicsio-emf-javadoc.jar
│   ├── freehep-graphicsio-emf-sources.jar
│   ├── freehep-graphicsio.jar
│   ├── freehep-graphicsio-javadoc.jar
│   ├── freehep-graphicsio-java.jar
│   ├── freehep-graphicsio-java-javadoc.jar
│   ├── freehep-graphicsio-java-sources.jar
│   ├── freehep-graphicsio-pdf.jar
│   ├── freehep-graphicsio-pdf-javadoc.jar
│   ├── freehep-graphicsio-pdf-sources.jar
│   ├── freehep-graphicsio-ps.jar
│   ├── freehep-graphicsio-ps-javadoc.jar
│   ├── freehep-graphicsio-ps-sources.jar
│   ├── freehep-graphicsio-sources.jar
│   ├── freehep-graphicsio-svg.jar
│   ├── freehep-graphicsio-svg-javadoc.jar
│   ├── freehep-graphicsio-svg-sources.jar
│   ├── freehep-graphicsio-swf.jar
│   ├── freehep-graphicsio-swf-javadoc.jar
│   ├── freehep-graphicsio-swf-sources.jar
│   ├── freehep-io.jar
│   ├── jdom.jar
│   ├── jena-core.jar
│   ├── jena-iri.jar
│   ├── jh.jar
│   ├── jlfgr-1_0.jar
│   ├── jsr311-api-1.1.1.jar
│   ├── model.jar
│   ├── model-javadoc.jar
│   ├── oslc4j-core.jar
│   ├── oslc4j-core-javadoc.jar
│   ├── oslc4j-core-sources.jar
│   ├── oslc4j-jena-provider.jar
│   ├── oslc4j-json4j-provider.jar
│   ├── oslc4j-wink.jar
│   ├── oslc4j-wink-javadoc.jar
│   ├── oslc4j-wink-sources.jar
│   ├── servlet-api-3.0.jar
│   ├── slf4j-api.jar
│   ├── slf4j-nop.jar
│   ├── swixml.jar
│   ├── swixml-license.txt
│   ├── uppaal-oslc4j-common.jar
│   ├── wink-client.jar
│   ├── wink-common.jar
│   ├── xerces.jar
│   └── xml-apis.jar
├── new-tutorial.pdf
├── readme.txt
├── res
│   ├── icon-128x128.png
│   ├── icon-16x16.png
│   ├── icon-24x24.png
│   ├── icon-32x32.png
│   ├── icon-48x48.png
│   ├── icon-64x64.png
│   └── icon-96x96.png
├── small_tutorial.pdf
├── uppaal
├── uppaal.ico
├── uppaal.jar
├── uppaal.jar - 快捷方式.lnk
└── yggdrasil
├── onoff
│   ├── app
│   │   ├── AppC.java
│   │   ├── App.java
│   │   └── AppM.java
│   ├── onoff.xml
│   ├── test.bat
│   ├── testMutant.bat
│   ├── testMutant.sh
│   └── test.sh
├── tutorial
│   ├── index2.html
│   ├── index3.html
│   ├── index.html
│   ├── System2.png
│   ├── System.jpg
│   ├── testcode.png
│   ├── testcode-state.png
│   ├── User.jpg
│   ├── ygg-generate2.png
│   ├── ygg-generate3.png
│   ├── ygg-generate4.png
│   ├── ygg-generate.png
│   ├── ygg-output2.png
│   ├── ygg-output.png
│   ├── ygg-simulator2.png
│   ├── ygg-simulator4.png
│   ├── ygg-simulator.png
│   ├── ygg-tab2.png
│   ├── ygg-tab-options.png
│   ├── ygg-tab.png
│   ├── ygg-user2.png
│   └── ygg-verifier.png
└── updown
├── app
│   ├── AppC.java
│   ├── App.java
│   └── AppM.java
├── test.bat
├── testMutant.bat
├── testMutant.sh
├── test.sh
└── updown.xml

13 directories, 143 files