Spin Model Checker The Primer and Reference Manual
英文原版SPIN入门参考手册，模型检测工具SPIN的入门之选
下载地址
用户评论
内容不错。但好像不是原版。像网页上打印出来的。换页的地方有被截掉的文字
比较长，还需要学习
非常不错，感谢分享
非常棒的Spin英文学习资料，谢了
权威教材，值得借鉴