【文件属性】:
文件名称:spin和promela简介
文件大小:745KB
文件格式:PDF
更新时间:2014-04-28 16:47:23
spin ,promela
对spin和promela做了个简单总结,还有些简单例子
网友评论
- 例子很不错,挺适合我的
- 不错的资源,学习了
- 不错不错,英文的讲得也比较简单
- 不错,是我需要的
- 不错,英文的。很简单,就是不是我想要的
- 额,是英文版的,不过介绍的还比较好,对于我这种初学者来说还是可以的。
- 不错,适合初学者
- 不错,简单介绍了promela和spin
- 很好 做形式化的东西 模型检测 值得学习
- 适合初学者 入门教材
- 示例相当不错,很有用,适合初学的同学
- 如果是中文 而且代码有注解就好了 = =
- 很好地介绍了Promela 和SPIN,不可多得的参考资料!
- 这个英文的好,至少是原著,就是读起来比较费时!
- 英文的呀,虽然看起来有点困难,还是挺有用滴