文件名称：并发系统Promela建模、SPIN的使用
文件大小：216KB
文件格式：RAR
更新时间：2013-06-07 21:11:02
Promela SPIN
并发系统Promela语法规则，并发系统建模和SPIN的使用
【文件预览】：
并发系统的Promela语言建模与SPIN模型检测
----0084自动模型检测-Petri网的Promela建模与SPIN检验4.mht(150KB)
----003自动模型检测-Promela语言建模示例.mht(243KB)
----006自动模型检测-克莱顿隧道协议形式化分析.mht(72KB)
----pdf()
--------001自动模型检测-模型检测工具SPIN安装使用.pdf(89KB)
--------002自动模型检测-SPIN的建模语言Promela.pdf(66KB)
--------003自动模型检测-Promela语言建模示例.pdf(63KB)
----0083自动模型检测-Petri网的Promela建模与SPIN检验3.mht(91KB)
----002自动模型检测-SPIN的建模语言Promela.mht(182KB)
----0082自动模型检测-Petri网的Promela建模与SPIN检验2.mht(279KB)
----005自动模型检测-AB协议SPIN的检测分析.mht(44KB)
----0050自动模型检测-电梯协议的Promela建模与SPIN检测分析.mht(52KB)
----0081自动模型检测-Petri网的Promela建模与SPIN检验1.mht(255KB)
----0073自动模型检测-密码协议的Promela建模与Spin分析3.mht(56KB)
----004自动模型检测-时序逻辑LTL+CTL+CTL.mht(40KB)
----001自动模型检测-模型检测工具SPIN安装使用.mht(252KB)
----0072自动模型检测-密码协议的Promela建模与Spin分析2.mht(78KB)
----0071自动模型检测-密码协议的Promela建模与Spin分析1.mht(57KB)