uPPAAL安装包

[{"title":"（ 140 个子文件 20.53MB ） uPPAAL安装包","children":[{"title":"testMutant.bat <span style='color:#111;'> 210B </span>","children":null,"spread":false},{"title":"testMutant.bat <span style='color:#111;'> 210B </span>","children":null,"spread":false},{"title":"test.bat <span style='color:#111;'> 210B </span>","children":null,"spread":false},{"title":"test.bat <span style='color:#111;'> 210B </span>","children":null,"spread":false},{"title":"verifyta.exe <span style='color:#111;'> 4.26MB </span>","children":null,"spread":false},{"title":"server.exe <span style='color:#111;'> 4.17MB </span>","children":null,"spread":false},{"title":"index.html <span style='color:#111;'> 6.86KB </span>","children":null,"spread":false},{"title":"index2.html <span style='color:#111;'> 5.36KB </span>","children":null,"spread":false},{"title":"index3.html <span style='color:#111;'> 1.74KB </span>","children":null,"spread":false},{"title":"uppaal.ico <span style='color:#111;'> 44.73KB </span>","children":null,"spread":false},{"title":"jena-core.jar <span style='color:#111;'> 1.65MB </span>","children":null,"spread":false},{"title":"xerces.jar <span style='color:#111;'> 1.30MB </span>","children":null,"spread":false},{"title":"uppaal.jar <span style='color:#111;'> 963.72KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-swf-javadoc.jar <span style='color:#111;'> 905.89KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-emf-javadoc.jar <span style='color:#111;'> 764.16KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-javadoc.jar <span style='color:#111;'> 684.67KB </span>","children":null,"spread":false},{"title":"model-javadoc.jar <span style='color:#111;'> 682.77KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-sources.jar <span style='color:#111;'> 623.71KB </span>","children":null,"spread":false},{"title":"wink-common.jar <span style='color:#111;'> 574.95KB </span>","children":null,"spread":false},{"title":"jh.jar <span style='color:#111;'> 519.21KB </span>","children":null,"spread":false},{"title":"oslc4j-core-javadoc.jar <span style='color:#111;'> 455.42KB </span>","children":null,"spread":false},{"title":"model.jar <span style='color:#111;'> 268.24KB </span>","children":null,"spread":false},{"title":"xml-apis.jar <span style='color:#111;'> 215.37KB </span>","children":null,"spread":false},{"title":"freehep-graphicsbase-javadoc.jar <span style='color:#111;'> 211.67KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-pdf-javadoc.jar <span style='color:#111;'> 206.23KB </span>","children":null,"spread":false},{"title":"servlet-api-3.0.jar <span style='color:#111;'> 193.37KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio.jar <span style='color:#111;'> 187.61KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-swf.jar <span style='color:#111;'> 181.73KB </span>","children":null,"spread":false},{"title":"freehep-graphics2d-javadoc.jar <span style='color:#111;'> 173.96KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-emf.jar <span style='color:#111;'> 169.26KB </span>","children":null,"spread":false},{"title":"jdom.jar <span style='color:#111;'> 149.66KB </span>","children":null,"spread":false},{"title":"jena-iri.jar <span style='color:#111;'> 133.24KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-emf-sources.jar <span style='color:#111;'> 132.89KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-ps-javadoc.jar <span style='color:#111;'> 127.39KB </span>","children":null,"spread":false},{"title":"freehep-graphics2d.jar <span style='color:#111;'> 124.10KB </span>","children":null,"spread":false},{"title":"jlfgr-1_0.jar <span style='color:#111;'> 111.89KB </span>","children":null,"spread":false},{"title":"oslc4j-core.jar <span style='color:#111;'> 97.71KB </span>","children":null,"spread":false},{"title":"oslc4j-core-sources.jar <span style='color:#111;'> 96.17KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-java-javadoc.jar <span style='color:#111;'> 95.31KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-swf-sources.jar <span style='color:#111;'> 82.08KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-pdf.jar <span style='color:#111;'> 74.05KB </span>","children":null,"spread":false},{"title":"oslc4j-wink-javadoc.jar <span style='color:#111;'> 73.41KB </span>","children":null,"spread":false},{"title":"freehep-io.jar <span style='color:#111;'> 70.91KB </span>","children":null,"spread":false},{"title":"editor.jar <span style='color:#111;'> 69.13KB </span>","children":null,"spread":false},{"title":"freehep-graphicsbase.jar <span style='color:#111;'> 66.71KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-svg-javadoc.jar <span style='color:#111;'> 59.68KB </span>","children":null,"spread":false},{"title":"oslc4j-jena-provider.jar <span style='color:#111;'> 58.58KB </span>","children":null,"spread":false},{"title":"wink-client.jar <span style='color:#111;'> 55.52KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-ps.jar <span style='color:#111;'> 49.13KB </span>","children":null,"spread":false},{"title":"uppaal-oslc4j-common.jar <span style='color:#111;'> 48.63KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-pdf-sources.jar <span style='color:#111;'> 45.43KB </span>","children":null,"spread":false},{"title":"freehep-graphicsbase-sources.jar <span style='color:#111;'> 44.87KB </span>","children":null,"spread":false},{"title":"swixml.jar <span style='color:#111;'> 42.47KB </span>","children":null,"spread":false},{"title":"jsr311-api-1.1.1.jar <span style='color:#111;'> 40.83KB </span>","children":null,"spread":false},{"title":"oslc4j-json4j-provider.jar <span style='color:#111;'> 38.63KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-ps-sources.jar <span style='color:#111;'> 36.89KB </span>","children":null,"spread":false},{"title":"freehep-graphics2d-sources.jar <span style='color:#111;'> 36.55KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-java.jar <span style='color:#111;'> 33.99KB </span>","children":null,"spread":false},{"title":"slf4j-api.jar <span style='color:#111;'> 26.25KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-svg.jar <span style='color:#111;'> 23.26KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-svg-sources.jar <span style='color:#111;'> 16.79KB </span>","children":null,"spread":false},{"title":"freehep-graphicsio-java-sources.jar <span style='color:#111;'> 15.62KB </span>","children":null,"spread":false},{"title":"oslc4j-wink.jar <span style='color:#111;'> 14.92KB </span>","children":null,"spread":false},{"title":"oslc4j-wink-sources.jar <span style='color:#111;'> 11.59KB </span>","children":null,"spread":false},{"title":"slf4j-nop.jar <span style='color:#111;'> 2.48KB </span>","children":null,"spread":false},{"title":"ModelDemo.java <span style='color:#111;'> 11.43KB </span>","children":null,"spread":false},{"title":"AppC.java <span style='color:#111;'> 408B </span>","children":null,"spread":false},{"title":"AppM.java <span style='color:#111;'> 407B </span>","children":null,"spread":false},{"title":"App.java <span style='color:#111;'> 407B </span>","children":null,"spread":false},{"title":"AppM.java <span style='color:#111;'> 353B </span>","children":null,"spread":false},{"title":"App.java <span style='color:#111;'> 353B </span>","children":null,"spread":false},{"title":"AppC.java <span style='color:#111;'> 351B </span>","children":null,"spread":false},{"title":"System.jpg <span style='color:#111;'> 4.51KB </span>","children":null,"spread":false},{"title":"User.jpg <span style='color:#111;'> 3.13KB </span>","children":null,"spread":false},{"title":"ygg-simulator4.png <span style='color:#111;'> 62.44KB </span>","children":null,"spread":false},{"title":"ygg-simulator2.png <span style='color:#111;'> 61.89KB </span>","children":null,"spread":false},{"title":"ygg-simulator.png <span style='color:#111;'> 53.03KB </span>","children":null,"spread":false},{"title":"ygg-tab2.png <span style='color:#111;'> 46.33KB </span>","children":null,"spread":false},{"title":"ygg-generate3.png <span style='color:#111;'> 42.03KB </span>","children":null,"spread":false},{"title":"ygg-generate4.png <span style='color:#111;'> 41.60KB </span>","children":null,"spread":false},{"title":"ygg-generate2.png <span style='color:#111;'> 39.62KB </span>","children":null,"spread":false},{"title":"ygg-generate.png <span style='color:#111;'> 38.23KB </span>","children":null,"spread":false},{"title":"ygg-tab.png <span style='color:#111;'> 35.94KB </span>","children":null,"spread":false},{"title":"ygg-output2.png <span style='color:#111;'> 32.95KB </span>","children":null,"spread":false},{"title":"ygg-tab-options.png <span style='color:#111;'> 32.91KB </span>","children":null,"spread":false},{"title":"ygg-output.png <span style='color:#111;'> 31.95KB </span>","children":null,"spread":false},{"title":"ygg-verifier.png <span style='color:#111;'> 29.20KB </span>","children":null,"spread":false},{"title":"System2.png <span style='color:#111;'> 14.19KB </span>","children":null,"spread":false},{"title":"testcode-state.png <span style='color:#111;'> 10.90KB </span>","children":null,"spread":false},{"title":"testcode.png <span style='color:#111;'> 9.63KB </span>","children":null,"spread":false},{"title":"icon-128x128.png <span style='color:#111;'> 8.06KB </span>","children":null,"spread":false},{"title":"icon-96x96.png <span style='color:#111;'> 6.10KB </span>","children":null,"spread":false},{"title":"ygg-user2.png <span style='color:#111;'> 3.02KB </span>","children":null,"spread":false},{"title":"icon-64x64.png <span style='color:#111;'> 2.17KB </span>","children":null,"spread":false},{"title":"icon-48x48.png <span style='color:#111;'> 1.83KB </span>","children":null,"spread":false},{"title":"icon-32x32.png <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"icon-24x24.png <span style='color:#111;'> 778B </span>","children":null,"spread":false},{"title":"icon-16x16.png <span style='color:#111;'> 541B </span>","children":null,"spread":false},{"title":"server <span style='color:#111;'> 5.75MB </span>","children":null,"spread":false},{"title":"AddLinks.sh <span style='color:#111;'> 4.12KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]