windows下协议验证工具spin6.4.9安装（Cygwin安装）

最新推荐文章于 2024-10-11 07:07:00 发布
最新推荐文章于 2024-10-11 07:07:00 发布
阅读量1k 收藏 6
点赞数
CC 4.0 BY-SA版权
文章标签： spin
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/HengYuD/article/details/85061820

1、下载安装activetcl 

https://www.activestate.com/products/activetcl/downloads/

2、安装Cygwin

Cygwin官网地址：https://www.cygwin.com/

Cygwin包括了一套库，该库在Win32系统下实现了POSIX系统调用的API；还有一套GNU开发工具集（比如GCC、GDB）还有一些UNIX系统下的常见程序。另外还有一个名为MinGW的库，可以跟Windows本地的MSVCRT库（Windows API）一起工作。Cygwin库遵守GNU通用公共许可证，但也可以跟匹配开源定义的自由软件链接。

简单的讲，Cygwin就是在windows下能够运行Linux命令

安装时长大概一到几个小时不等，不如直接在Linux虚拟机下直接下载spin和ispin.tcl运行

打开安装程序选择从互联网安装

考虑到网络的一些问题，选用系统代理，用163的镜像源

163源为：http://mirrors.16

最低0.47元/天 解锁文章

200万优质内容无限畅学
HengYuD
关注
windows系统下中安装ispin
fbj_bai的博客
10-26 990
首先是下载spin，直接把github全部内容都下下来之后解压 https://github.com/nimble-code/Spin 接下来是下载cygwin软件根据自己情况下载，附上下载链接 https://www.cygwin.com/ 请记得务必把spin解压在/cygwin/bin/目录下（现在还木有这个目录后面会标注） 务必在此页面选择第二个，因为从网上下载有些内容会出问...
Spin及其可视化软件安装win10版
Changshu135的博客
10-06 4873
Spin的安装步骤，win10版 说明：Spin是一款用于检测并发系统（软件）是否存在bug的模型检测软件，具体说明请看链接: spin说明.个人感觉安装还是挺复杂的，我大概用了6小时，多次重装后才成功，这里给大家分享我的一些经验。 1. 下载及安装 1.1 从首页自己阅读详细说明下载及安装，或者从github选择一个版本下载即可。下载并解压后的文件目录如下所示： 1.2 下载cygwin软件，选择64位的，cygwin官网，下载完成后双击运行。 安装路径可以默认C盘，也可以自定义路径，但命名要规范，
windows下spin和xspin的安装
05-04
在windows下安装spin和xspin。
【亲测免费】 Spin：高效的多线程代码验证工具
gitblog_00762的博客
10-10 1131
Spin：高效的多线程代码验证工具 项目介绍 Spin 是一款开源的软件验证工具，最初由贝尔实验室（Unix 团队）的计算科学研究中心于 1980 年开始开发。Spin 被广泛认为是使用最广泛的正式验证工具之一。它主要用于验证多线程代码的正确性，通过编写形式化的规范来确保代码在并发环境下的行为符合预期。 Spin 的编译和安装非常简单，只需依赖 C 编译器、yacc 或 byacc，以及一些标准的...
自动模型检测—模型检测工具SPIN安装使用
热门推荐
wqsgaara的专栏
05-29 2万+
 1  SPIN 概述1．1 SPIN的历史背景SPIN（Simple Promela Interpreter）是适合于并行系统，尤其是协议一致性的辅助分析检测工具，由贝尔实验室的形式化方法与验证小组于1980年开始开发的pan就是现在SPIN的前身。1989年SPIN的0版本推出主要用于检测一系列的ω-regular属性。1995年偏序简约和线性时序逻辑转换的引入使得SPIN的功能进
模型检测工具SPIN在windows10系统上的安装&使用
weixin_43116558的博客
10-07 4609
spin的官方说明文档 安装 下载spin 下载spin的github网址上的spin*.gz，解压到某目录，重命名为spin.exe。 将目录添加到path环境变量中。 下载cygwin Cygwin是一个在windows平台上运行的类UNIX模拟环境。spin需要一个c语言编译器才能运行，我选择安装gcc，可以从cygwin上安装，以后还可以用它来学习linux的使用。 从cygwin官方网站下载setup*.exe，双击运行。 在这里选择 ...
Windows下Spin工具安装说明
xqx930807的专栏
05-28 5120
Windows下Spin工具安装说明： 都必须先安装activetcl Spin632版本（ispin）：下载http://spinroot.com/spin/Bin/中的windows系列exe安装包，将spin632.exe解压到某目录,并重命名为spin.exe。 将gcc和spin所在目录添加到Path环境变量中，可使用cmd下gcc和spin命令测试其是否存在。 直接下载http
模型检测工具spin
10-18
好用的模型检测工具spin，功能很强大。
spin625工具
09-20
spin625工具，形式化分析与验证。 软件形式化方法
XSPIN-SPIN的图形界面工具
10-20
XSPIN是用java编写的spin的图形界面，大家应该在期刊论文上经常看到这个工具吧。让检测结果以图形的形式出现，大大增强的spin的易用性。有它产生的图，论文会翔实很多。要装jdk，要在cygwin下使用。
Cygwin ns2.27 leach 协议 安装文档
10-29
参考网贴：百思论坛的Cygwin+ns2.27+leach协议 安装笔记，按其步骤安装时出现别的问题，故根据自己安装过程有改动。 首先，leach协议一定要装ns-2.27版本，否则会有很多问题。好，开始！ 一、准备工作 删除所有关于cygwin, ns2的软件。删除已有的Cygwin的安装信息， 在start菜单中的“run”中输入“regedit”，彻底清除注册表中关于cygwin的安装信息: 1、 在/ HKEY_LOCAL_MACHINE\SOFTWARE下，删除Cygnus Solutions，Cygwin文件夹。 2、 在/ HKEY_CURRENT_USER\Software下，删除Cygnus Solutions，Cygwin文件夹。 二、Cygwin 的安装： 1、 联网安装 安装过程参考： http://140.116.72.80/~smallko/ns2/setup.htm http://blog.sina.com.cn/s/blog_3c680f8101008rty.html
ispin.tcl-1.1.4_spin的窗口化工具
12-18
协议验证工具spin的官方可视化窗口工具，在gcc和spin环境下打开是一个蓝色的IDE
Linux下模型化检测工具spin的安装
weixin_42526305的博客
12-18 1865
首先，在http://spinroot.com/spin/Src/index.html 下载，选择这个： 然后在文件夹中解压，得到Spin文件夹 命令行cd进入进入其中的Src6.4.8目录，使用命令make make 成功之后，ls 会看到一个名为spin的可执行文件，使用命令chmod 777 spin。把spin复制到usr/bin目录下。 ls chmod 777 spin ...
【亲测免费】 Spin 逻辑模型检查工具使用教程
最新发布
gitblog_00540的博客
10-11 1113
Spin 逻辑模型检查工具使用教程 1. 项目介绍 Spin 是一个高效的逻辑模型检查工具，用于验证多线程代码。它最初于1980年在贝尔实验室的计算科学研究中心（Unix 团队）开发，被认为是使用最广泛的正式验证工具之一。Spin 的主要功能是通过编写一个类似于 C 语言的元语言 ProMeLa（过程元语言）来验证应用程序的核心逻辑。Spin 支持多种验证算法，包括深度优先、广度优先、并行/多核、...
Windows10下Spin模型检查与协议验证工具安装教程
Peter Kim的博客
12-10 3625
Windows10安装Spin模型检查协议验证工具教程教程背景安装前准备配置gcc（c编译环境） 教程背景 笔者最近学习网络协议相关内容，在寻找协议验证工具的过程中，了解到Spin这款工具，经过一晚的查找，终于安装完成并成功运行。 因为网上的相关教学偏少且老旧，工具官网的说明有不够清晰且未及时更新，故作此教程，希望让有需要的大家少走弯路。 安装前准备 配置gcc（c编译环境） 确保电脑上已经配置好c语言编译环境，对于Windows10系统下也可理解为已安装Mingw-w64。检查方式，打开命令行，输入gcc
关于cygwin和Spin的用法
on_the_的博客
03-04 598
首先，我们得知道这两个东西是什么，就是所谓的cygwin【https://cygwin.com/】和spin 【http://spinroot.com/spin/whatispin.html】,下面是大概的认识概念： Cygwin是一个在windows平台上运行的类UNIX模拟环境，对于研究spin，知道这么多就够了；spin是一个工具，就是用来检测程序有没有毛病的工具，一般用的时候，我们都同...
CygWin / 安装软件包的方法
布袋和尚
07-04 9676
@time 2019-07-03 @author Ruo_Xiao 1、下载 CygWin 安装包 网址：https://www.cygwin.com/，下载软件setup-x86_64.exe 。 2、进入安装包选择界面 选择在线安装： 选择 CygWin 安装目录： 选择安装包下载路径： 选择连接网络的方式，默认即可。 选择安装包下载站...
SPIN和SMV工具的对比学习 ——基于农夫过河问题
jmhIcoding
01-19 4554
前言 SPIN和SMV是课程中介绍了两种特别重要的模型检测工具，本文将介绍两种工具的安装、基本使用，同时使用两种工具来解决农夫过河问题，并对这两种工具进行比较。 一、形式化验证工具的安装 1.1.SPIN的安装 1.1.1下载SPIN可执行文件 进入spin验证工具的官网：http://spinroot.com/spin/whatispin.html 进入安装向导页面，按照指示来进行安装。 Wi...
Windows下Cygwin、Spin、XSpin详细安装教程
"这篇文档详细记录了在Windows环境下安装cygwin、spin和xspin的全过程，适合需要进行并发模型检测的学习者或开发者。作者分享了个人安装经验，特别是如何解决cygwin安装中可能遇到的网络问题。" 在进行并发模型检测...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值