UMLStateMachine2NuSMV

[{"title":"（ 52 个子文件 67KB ） UMLStateMachine2NuSMV","children":[{"title":"UMLStateMachine2NuSMV-master","children":[{"title":"UMLSM2NuSMV","children":[{"title":".project <span style='color:#111;'> 204B </span>","children":null,"spread":false},{"title":"SMac4AC41.uml <span style='color:#111;'> 9.63KB </span>","children":null,"spread":false},{"title":"SMac4AC41.di <span style='color:#111;'> 1.36KB </span>","children":null,"spread":false},{"title":"SMac4AC41.notation <span style='color:#111;'> 54.33KB </span>","children":null,"spread":false}],"spread":true},{"title":"NuSMVCodeGenerator","children":[{"title":".project <span style='color:#111;'> 1.37KB </span>","children":null,"spread":false},{"title":"src","children":[{"title":"NuSMVCodeGenerator","children":[{"title":"Activator.java <span style='color:#111;'> 1.62KB </span>","children":null,"spread":false},{"title":"main","children":[{"title":"Generate.java <span style='color:#111;'> 18.04KB </span>","children":null,"spread":false},{"title":"generate.mtl <span style='color:#111;'> 2.15KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true},{"title":"build.properties <span style='color:#111;'> 113B </span>","children":null,"spread":false},{"title":"tasks","children":[{"title":"generateTarget.xml <span style='color:#111;'> 663B </span>","children":null,"spread":false},{"title":"generate.xml <span style='color:#111;'> 4.91KB </span>","children":null,"spread":false}],"spread":true},{"title":"test","children":[{"title":"QoSSM.smv <span style='color:#111;'> 621B </span>","children":null,"spread":false},{"title":"SMac4AC41.smv <span style='color:#111;'> 1.40KB </span>","children":null,"spread":false},{"title":"QoSSMandAC41.smv <span style='color:#111;'> 1.55KB </span>","children":null,"spread":false},{"title":"QoSSMandAC41.nusmvmodel <span style='color:#111;'> 7.05KB </span>","children":null,"spread":false},{"title":"manual_models","children":[{"title":"QoSSMandAC41.nusmvmodel <span style='color:#111;'> 16.24KB </span>","children":null,"spread":false},{"title":"AC41.nusmvmodel <span style='color:#111;'> 11.99KB </span>","children":null,"spread":false},{"title":"QoSSM.nusmvmodel <span style='color:#111;'> 5.60KB </span>","children":null,"spread":false}],"spread":true},{"title":"SMac4AC41.nusmvmodel <span style='color:#111;'> 9.91KB </span>","children":null,"spread":false},{"title":"AC41.nusmvmodel <span style='color:#111;'> 4.30KB </span>","children":null,"spread":false},{"title":"QoSSM.nusmvmodel <span style='color:#111;'> 3.64KB </span>","children":null,"spread":false},{"title":"AC41.smv <span style='color:#111;'> 1.07KB </span>","children":null,"spread":false}],"spread":true},{"title":"META-INF","children":[{"title":"MANIFEST.MF <span style='color:#111;'> 802B </span>","children":null,"spread":false}],"spread":true},{"title":"gen","children":[{"title":"NuSMVFromUMLSM.smv <span style='color:#111;'> 1.40KB </span>","children":null,"spread":false},{"title":"NuSMVFromUMLSM_mod.smv <span style='color:#111;'> 1.49KB </span>","children":null,"spread":false}],"spread":true},{"title":"ref","children":[{"title":"NuSMV.xtext <span style='color:#111;'> 20.77KB </span>","children":null,"spread":false},{"title":"NuSMV.ecore <span style='color:#111;'> 20.79KB </span>","children":null,"spread":false},{"title":"Sample-ZNN-AC124.smv <span style='color:#111;'> 5.02KB </span>","children":null,"spread":false}],"spread":true},{"title":"build.acceleo <span style='color:#111;'> 1.32KB </span>","children":null,"spread":false},{"title":".classpath <span style='color:#111;'> 382B </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 8B </span>","children":null,"spread":false}],"spread":false},{"title":"LICENSE <span style='color:#111;'> 11.25KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 841B </span>","children":null,"spread":false},{"title":"UMLStateMachine2NuSMV","children":[{"title":".project <span style='color:#111;'> 582B </span>","children":null,"spread":false},{"title":"UMLStateMachine2NuSMV.atl <span style='color:#111;'> 9.37KB </span>","children":null,"spread":false},{"title":"test","children":[{"title":".DS_Store <span style='color:#111;'> 6.00KB </span>","children":null,"spread":false},{"title":"QoSSMandAC41.uml <span style='color:#111;'> 7.79KB </span>","children":null,"spread":false},{"title":"AC41.uml <span style='color:#111;'> 6.10KB </span>","children":null,"spread":false},{"title":"QoSSMandAC41.nusmvmodel <span style='color:#111;'> 7.05KB </span>","children":null,"spread":false},{"title":"SMac4AC41.uml <span style='color:#111;'> 9.63KB </span>","children":null,"spread":false},{"title":"SMac4AC41.nusmvmodel <span style='color:#111;'> 9.91KB </span>","children":null,"spread":false},{"title":"AC41.nusmvmodel <span style='color:#111;'> 4.27KB </span>","children":null,"spread":false},{"title":"QoSSM.uml <span style='color:#111;'> 4.77KB </span>","children":null,"spread":false},{"title":"QoSSM.nusmvmodel <span style='color:#111;'> 3.61KB </span>","children":null,"spread":false}],"spread":true},{"title":"gen","children":[{"title":"QoSSMandAC41.nusmvmodel <span style='color:#111;'> 7.05KB </span>","children":null,"spread":false},{"title":"SMac4AC41.nusmvmodel <span style='color:#111;'> 9.91KB </span>","children":null,"spread":false},{"title":"AC41.nusmvmodel <span style='color:#111;'> 4.30KB </span>","children":null,"spread":false},{"title":"QoSSM.nusmvmodel <span style='color:#111;'> 3.64KB </span>","children":null,"spread":false}],"spread":true},{"title":"ref","children":[{"title":"NuSMV.ecore <span style='color:#111;'> 20.79KB </span>","children":null,"spread":false}],"spread":true},{"title":"Exe_UMLStateMachine2NuSMV.xml <span style='color:#111;'> 1.17KB </span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'> 27B </span>","children":null,"spread":false}],"spread":true},{"title":".gitignore <span style='color:#111;'> 129B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]