软件形式化验证课程课件

[{"title":"（ 15 个子文件 6.67MB ） 软件形式化验证课程课件","children":[{"title":"软件形式化验证课件","children":[{"title":"4. CTL_MC.pdf <span style='color:#111;'> 351.08KB </span>","children":null,"spread":false},{"title":"2-4. nusmv-intro.pdf <span style='color:#111;'> 666.98KB </span>","children":null,"spread":false},{"title":"9. soft-mc.pdf <span style='color:#111;'> 1.26MB </span>","children":null,"spread":false},{"title":"0.课程信息.ppt <span style='color:#111;'> 214.50KB </span>","children":null,"spread":false},{"title":"3-2. TempLogic.pdf <span style='color:#111;'> 400.90KB </span>","children":null,"spread":false},{"title":"3-1 时序逻辑.pdf <span style='color:#111;'> 313.88KB </span>","children":null,"spread":false},{"title":"2.nusmv-model.pdf <span style='color:#111;'> 462.51KB </span>","children":null,"spread":false},{"title":"6. symbolic.pdf <span style='color:#111;'> 397.18KB </span>","children":null,"spread":false},{"title":"5. bdd.pdf <span style='color:#111;'> 249.66KB </span>","children":null,"spread":false},{"title":"5 3-1 时序逻辑.pdf <span style='color:#111;'> 313.88KB </span>","children":null,"spread":false},{"title":"4. kripke.pdf <span style='color:#111;'> 223.50KB </span>","children":null,"spread":false},{"title":"7. SAT.pdf <span style='color:#111;'> 486.68KB </span>","children":null,"spread":false},{"title":"8. bmc.pdf <span style='color:#111;'> 515.47KB </span>","children":null,"spread":false},{"title":"1.概述.ppt <span style='color:#111;'> 1.10MB </span>","children":null,"spread":false}],"spread":false},{"title":"Logic in Computer Science Modelling and Reasoning about Systems.PDF <span style='color:#111;'> 2.14MB </span>","children":null,"spread":false}],"spread":true}]