并发系统Promela建模、SPIN的使用

[{"title":"（ 17 个子文件 216KB ） 并发系统Promela建模、SPIN的使用","children":[{"title":"并发系统的Promela语言建模与SPIN模型检测","children":[{"title":"0084自动模型检测-Petri网的Promela建模与SPIN检验4.mht <span style='color:#111;'> 150.12KB </span>","children":null,"spread":false},{"title":"003自动模型检测-Promela语言建模示例.mht <span style='color:#111;'> 243.19KB </span>","children":null,"spread":false},{"title":"006自动模型检测-克莱顿隧道协议形式化分析.mht <span style='color:#111;'> 72.26KB </span>","children":null,"spread":false},{"title":"pdf","children":[{"title":"001自动模型检测-模型检测工具SPIN安装使用.pdf <span style='color:#111;'> 89.48KB </span>","children":null,"spread":false},{"title":"002自动模型检测-SPIN的建模语言Promela.pdf <span style='color:#111;'> 65.61KB </span>","children":null,"spread":false},{"title":"003自动模型检测-Promela语言建模示例.pdf <span style='color:#111;'> 62.66KB </span>","children":null,"spread":false}],"spread":true},{"title":"0083自动模型检测-Petri网的Promela建模与SPIN检验3.mht <span style='color:#111;'> 91.34KB </span>","children":null,"spread":false},{"title":"002自动模型检测-SPIN的建模语言Promela.mht <span style='color:#111;'> 181.60KB </span>","children":null,"spread":false},{"title":"0082自动模型检测-Petri网的Promela建模与SPIN检验2.mht <span style='color:#111;'> 279.27KB </span>","children":null,"spread":false},{"title":"005自动模型检测-AB协议SPIN的检测分析.mht <span style='color:#111;'> 44.02KB </span>","children":null,"spread":false},{"title":"0050自动模型检测-电梯协议的Promela建模与SPIN检测分析.mht <span style='color:#111;'> 51.80KB </span>","children":null,"spread":false},{"title":"0081自动模型检测-Petri网的Promela建模与SPIN检验1.mht <span style='color:#111;'> 255.26KB </span>","children":null,"spread":false},{"title":"0073自动模型检测-密码协议的Promela建模与Spin分析3.mht <span style='color:#111;'> 55.58KB </span>","children":null,"spread":false},{"title":"004自动模型检测-时序逻辑LTL+CTL+CTL.mht <span style='color:#111;'> 39.92KB </span>","children":null,"spread":false},{"title":"001自动模型检测-模型检测工具SPIN安装使用.mht <span style='color:#111;'> 251.84KB </span>","children":null,"spread":false},{"title":"0072自动模型检测-密码协议的Promela建模与Spin分析2.mht <span style='color:#111;'> 77.97KB </span>","children":null,"spread":false},{"title":"0071自动模型检测-密码协议的Promela建模与Spin分析1.mht <span style='color:#111;'> 56.92KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]