并发系统Promela建模、SPIN的使用
5星 · 超过95%的资源 需积分: 44 17 浏览量
2010-05-19
03:24:22
上传
评论
收藏 216KB RAR 举报 
并发系统的Promela语言建模与SPIN模型检测.rar （17个子文件） 
并发系统的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资源评论
twitteryu2013-02-23挺详细的资料,感觉和好多论文上的内容差不多- mantouwangzi2017-10-22内容还行，归纳一般
- jiaodajisuanji2012-06-06格式是网页的。汉语。从语言介绍到模型分析 挺全的。后边儿是扩展吧。。还有密码协议和petri网之类
- feding2015-04-16文档很全，格式是mht，但是主要的三个关于Promela建模、SPIN的使用的文件生成了pdf格式，很好。
- a201027152014-01-10介绍比较详细，各种协议的的建模也分析得仔细~
