Spin及其可视化软件安装win10版

Spin的安装步骤，win10版

说明：Spin是一款用于检测并发系统（软件）是否存在bug的模型检测软件，具体说明请看链接: spin说明.个人感觉安装还是挺复杂的，我大概用了6小时，多次重装后才成功，这里给大家分享我的一些经验。

1. 下载及安装

1.1 从首页自己阅读详细说明下载及安装，或者从github选择一个版本下载即可。下载并解压后的文件目录如下所示：

1.2 下载cygwin软件，选择64位的，cygwin官网，下载完成后双击运行。