UPPAAL-4.0.14

[{"title":"（ 26 个子文件 5.6MB ） UPPAAL-4.0.14","children":[{"title":"uppaal-4.0.14","children":[{"title":"bin-Win32","children":[{"title":"verifyta.exe <span style='color:#111;'> 2.31MB </span>","children":null,"spread":false},{"title":"server.exe <span style='color:#111;'> 2.32MB </span>","children":null,"spread":false}],"spread":true},{"title":"lib","children":[{"title":"jdom.jar <span style='color:#111;'> 144.79KB </span>","children":null,"spread":false},{"title":"editor.jar <span style='color:#111;'> 68.32KB </span>","children":null,"spread":false},{"title":"swixml.jar <span style='color:#111;'> 43.05KB </span>","children":null,"spread":false},{"title":"model.jar <span style='color:#111;'> 161.01KB </span>","children":null,"spread":false},{"title":"jlfgr-1_0.jar <span style='color:#111;'> 111.89KB </span>","children":null,"spread":false},{"title":"jh.jar <span style='color:#111;'> 519.21KB </span>","children":null,"spread":false}],"spread":true},{"title":"bin-Linux","children":[{"title":"verifyta <span style='color:#111;'> 2.85MB </span>","children":null,"spread":false},{"title":"server <span style='color:#111;'> 2.86MB </span>","children":null,"spread":false}],"spread":true},{"title":"demo","children":[{"title":"fischer_symmetry.xml <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"2doors.xml <span style='color:#111;'> 3.54KB </span>","children":null,"spread":false},{"title":"train-gate.xml <span style='color:#111;'> 4.38KB </span>","children":null,"spread":false},{"title":"interrupt.xml <span style='color:#111;'> 3.68KB </span>","children":null,"spread":false},{"title":"interrupt.q <span style='color:#111;'> 183B </span>","children":null,"spread":false},{"title":"2doors.q <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"bridge.q <span style='color:#111;'> 522B </span>","children":null,"spread":false},{"title":"bridge.xml <span style='color:#111;'> 3.09KB </span>","children":null,"spread":false},{"title":"fischer_symmetry.q <span style='color:#111;'> 189B </span>","children":null,"spread":false},{"title":"fischer.q <span style='color:#111;'> 419B </span>","children":null,"spread":false},{"title":"train-gate.q <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":"fischer.xml <span style='color:#111;'> 1.57KB </span>","children":null,"spread":false}],"spread":false},{"title":"uppaal.jar <span style='color:#111;'> 564.18KB </span>","children":null,"spread":false},{"title":"man","children":[{"title":"man1","children":[{"title":"uppaal.1 <span style='color:#111;'> 1.05KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"readme.txt <span style='color:#111;'> 5.60KB </span>","children":null,"spread":false},{"title":"uppaal <span style='color:#111;'> 893B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]