spin和promela简介
对spin和promela做了个简单总结，还有些简单例子
下载地址
用户评论
例子很不错，挺适合我的
不错的资源，学习了
不错不错，英文的讲得也比较简单
不错，是我需要的
不错，英文的。很简单，就是不是我想要的