模型检测工具SPIN在windows10系统上的安装&使用

最新推荐文章于 2020-12-10 20:25:30 发布

牛奶可乐配不配

最新推荐文章于 2020-12-10 20:25:30 发布

阅读量4.5k

点赞数 6

分类专栏：形式化验证

本文链接：https://blog.youkuaiyun.com/weixin_43116558/article/details/108929335

版权

形式化验证专栏收录该内容

2 篇文章

订阅专栏

本文档详细介绍了如何在Windows环境下安装Cygwin，以支持SPIN模型检查器的运行。首先，从Cygwin官网下载并安装setup.exe，选择直接从互联网安装。接着，安装gcc和其他必要的组件，如X11和m4。安装完成后，通过cygcheck-cygwin检查安装状态，并将Cygwin的bin目录添加到PATH环境变量中。然后，下载并解压SPIN，将spin.exe放入Cygwin的bin目录。此外，还介绍了安装tcl/tk以支持ISPIN图形界面，以及如何下载和运行ISPIN.tcl文件。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

spin的官方说明文档

安装Cygwin

Cygwin是一个在windows平台上运行的类UNIX模拟环境。spin需要一个c语言编译器才能运行，我选择安装gcc，可以从cygwin上安装，以后还可以用它来学习linux的使用。
从cygwin官方网站下载setup*.exe，双击运行。
在这里插入图片描述

这一步选择安装模式。
（1）install from internet：直接从internet安装，不下载安装包，适合网速较快的情况；
（2）download without installing：下载安装包，不自动安装；
（3）install from local directory：从本地安装包安装，适合网速较慢的情况。
一般选择第一种模式。

在这里插入图片描述
这一步选择连接方式，即安装其他组件的来源网站

会弹出无法安装的提示，大概因为是外国的网站，进入下面的页面，输入一个url点击添加，再点击下一步。经过尝试，添加链接描述这个网址成功了。
下面选择安装组件，找到每一个组件后点击skip右边下拉箭头选择一个版本就可以了。
devel选项下选择：
在这里插入图片描述

x11选项下选择：
在这里插入图片描述

搜索m4，选择：

然后点击下一步，等待安装完成。

测试软件安装是否成功：双击桌面的cygwin快捷方式，输入cygcheck -c cygwin检查软件状态，如果是OK即安装成功。

将cygwin安装目录的bin文件夹添加到path环境变量中。

在这里插入图片描述

测试是否正确添加路径：打开cmd，输入gcc查看命令是否可被识别

下载spin

下载spin的github网址上的spin*.gz，解压到某目录，重命名为spin.exe，放到cygwin的bin文件夹中。
在这里插入图片描述

安装tcl/tk

为了安装spin的图形化界面ispin，首先要安装tcl/tk。
tcl/tk有很多版本，我选择在activestate官网下载activetcl。
在这里插入图片描述

双击运行，一路点击下一步，类型我选择了complete，等待完成安装。
可以尝试编写一个小程序。在cmd界面输入wish，或者直接双击wish图标，弹出窗口，输入button .b -text "hello world!" -command exit回车，在输入grid .b回车，wish窗口会显示hello world按钮，点击按钮后窗口关闭。
在这里插入图片描述