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

Spin的安装步骤，win10版 说明：Spin是一款用于检测并发系统（软件）是否存在bug的模型检测软件，具体说明请看链接: spin说明.个人感觉安装还是挺复杂的，我大概用了6小时，多次重装后才成功，这里给大家分享我的一些经验。 1. 下载及安装 1.1 从首页自己阅读详细说明下载及安装，或者从github选择一个版本下载即可。下载并解压后的文件目录如下所示： 1.2 下载cygwin软件，选

>>阅读原文<<