并发系统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}]