最近想要形式化分析一个协议，选定模型检测这种方法，但是网上关于模型检测工具的学习资料比较少，有没有关于Spin学习资料分享一下，或者有没有更容易上手的模型检测工具呢？求推荐！
http://xueshu.baidu.com/usercenter/paper/show?paperid=ae2408b971afb37d041435f3d93340e0&site=xueshu_se