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