Spin是模型检验的重要工具之一，资源中包含其在win环境下安装所需要的全部依赖资源，主要包含以下部分：源码、Tcl、gcc环境（MinGW和cygwin）。大部分资源下载都需要科学上网且速度较慢，资源中一并打包好了，欢迎下载。另外推荐两篇关于Spin模型检验的优秀博客，大家一起学习。