Spin的安装步骤，win10版
说明：Spin是一款用于检测并发系统（软件）是否存在bug的模型检测软件，具体说明请看链接: spin说明.个人感觉安装还是挺复杂的，我大概用了6小时，多次重装后才成功，这里给大家分享我的一些经验。
1. 下载及安装
1.1 从首页自己阅读详细说明下载及安装，或者从github选择一个版本下载即可。下载并解压后的文件目录如下所示：
1.2 下载cygwin软件，选择64位的，cygwin官网，下载完成后双击运行。
安装路径可以默认C盘，也可以自定义路径，但命名要规范，方便辨认，笔者是在D盘安装的。
笔者之前选择的是默认第一个，但似乎有点问题，后来选择阿里云的网址就没啥问题，所以在这里推荐选第三个。
下面请仔细选择要安装的程序包，不过不用过分紧张，如果有遗漏的程序包，还可以重新安装。（Skip代表不安装）
Devel分类下：binutils、bison、byacc
继续选择（注意与自己的系统版本对应上）
X11分类下：
搜过tcl后选择：
然后下一步：
2.组合
安装完cygwinz后，进入自己的安装目录D:\Spin\cygwin64\bin ，将第一步已经解压的spin文件夹拷贝进来，并更名为spin1。
接着对spin的源代码进行编译，先打开cmd，并执行命令 " set CYGWIN=ttynotitle glob " ，然后打开cygwin的控制台程序(terminal)。
首先输入命令“ export DISPLAY=:0.0 ”
接着进入spin的源码目录 D:\Spin\cygwin64\bin\spin1\Src
然后执行命令 “ make -f makefile ”，成功后会生成spin.exe文件，将其拷贝至
上一级目录的Bin文件夹中，然后将optional_gui文件夹中的ispin.tcl文件拷贝至Src文件夹中，并将其后缀去掉变为ispin。
3.测试
在开始菜单中打开Cygwin-X目录，并运行XWin-Server
有的可能会出现命令行界面，有的话可以执行“ startx ” 命令，没出现界面的，可以查看任务管理器中是否显示了该图标。
再回到：
最后执行ispin命令，就会出现ui界面
如果出现了这个界面就意味着安装成功了！
4.Q&A
（1） ispin /usr/bin/ispin: line 3: exec: wish: not found
这个应该是程序包安装遗漏，检查一下把tcl，gcc等包安装上。
（2）application-specific initialization failed: couldn’t connect to display “:0.0” Error in startup xxx.
注意每次运行前要运行XWin Server，并在终端执行“ export DISPLAY=:0.0 ”。
总结： 参考自原文
这只是安装其中一条方法，如有错或其他方法，还请各位网友指出，谢谢！