Ubuntu12.04LTS中安装和使用Spin

最新推荐文章于 2019-10-28 21:05:08 发布
最新推荐文章于 2019-10-28 21:05:08 发布
阅读量2k 收藏
点赞数
分类专栏： Ubuntu Model Checking 文章标签： ispin Model Checking Spin
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/WarriorAlex/article/details/8546599
版权
本文详细介绍了在Ubuntu12.04LTS系统上安装和使用Spin及ispin的步骤。首先，通过下载spin623.tar.gz和ispin.tcl文件，然后依次安装byacc、tcl和wish8.5。接着，编译Spin源代码并将spin和ispin放入相应路径。最后，验证spin安装成功，并展示如何启动ispin工具。
摘要由CSDN通过智能技术生成

一、安装spin和ispin

说明：本方法是建立在读者已经安装了Ubuntu Linux操作系统的基础之上的。得意

步骤0

    安装之前读者应该先下载spin和ispin的压缩文件下载地址：http://spinroot.com/spin/Src/index.html

这里选择Current Version 6.2.3 spin623.tar.gz (462k)和

最低0.47元/天 解锁文章
WarriorAlex
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
模型检测工具spin在ubuntu下的安装方法
泥瓦匠的专栏
11-12 3176
1、下载Linux版本的spin：http://spinroot.com/spin/Src/index.html 2、下载并安装byacc： sudo apt-get install byacc 3、下载并安装tcl： sudo apt-get install tcl 4、下载并安装tk： sudo apt-get install tk8.5 5、安装sp
如何在linux系统下安装spin
lucky_horse_1的博客
12-15 2188
1.去网站spinroot下载压缩包spin647.tar.gz 2.解压得到Spin目录 3.进入到Spin目录下的Src6.4.7目录，使用命令make 4.完成后发现该目录下多了一个可执行文件spin，使用命令  ./spin 5.进入到Spin目录下的iSpin目录下，使用命令  ls -l 可查看该目录下文件的可读写执行的情况 6.使用命
[llinux]ubuntu下安装ispin
qq_41594050的博客
10-28 548
软件准备： spin源代码包 http://spinroot.com/spin/Src/index.html spin二进制文件 http://spinroot.com/spin/Bin/index.html 以上二者选其一即可，推荐选择二进制文件，这样做就不需要make编译了。 ispin.tcl http://spinroot.com/spin/Src/index.html 1、生成spin可...
Linux下模型化检测工具spin的安装
weixin_42526305的博客
12-18 1476
首先，在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 ...
centos下Spin Version 6.3.2及ispin安装(2014.9.17)
weixin_30607659的博客
09-24 135
centos下Spin Version 6.3.2及ispin安装(2014.9.17) 前言：windos下首先安装虚拟机，再安装linux系统(centos版) 一．本帖来源于官网http://spinroot.com/spin/Man/README.html的安装步奏，并对linux下安装出现的一些问题进行解决 二．将s...
安装并启用ispin
u014251006的博客
07-10 1079
结合百度文库里面《SPIN安装步骤》和《SPIN安装及模型验证实验报告》两篇文章可以知道安装了cygwin后应该勾选什么选项，最好把有gcc-core和gcc-g++，还有x11里面的都装上，启用ispin是打开cygwin终端，输入startx，然后在出来的小窗口里面输入ispin即可。
ubuntu12.04LTS视频安装教程[标清版].rar
09-09
总之，这个"ubuntu12.04LTS视频安装教程[标清版]"提供了从零开始学习Ubuntu的宝贵资源，尤其对于新手来说，通过视频直观地学习和实践，能更快速地掌握Ubuntu的安装和使用。无论您是想尝试新的操作系统，还是希望在...
opencv2.4.9 ubuntu12.04LTS i386下的编译包java
06-23
为了在Java项目中使用这个OpenCV编译包，开发者需要将`opencv_java249.jar`添加到项目的类路径中，并确保系统的`LD_LIBRARY_PATH`环境变量包含了`lib`目录，以便找到必要的动态链接库。此外，如果需要处理视频，还...
基于ubuntu12.04LTS搭建Qt&QtE开发环境
01-23
在本文档中，作者分享了如何在Ubuntu 12.04 LTS系统上搭建Qt和Qt-Embedded（Qt Embedded）的开发环境。首先，我们来详细了解这个过程。 Qt是一个流行的跨平台应用程序开发框架，用于创建具有用户友好界面的桌面和...
ispin.tcl-1.1.4_spin的窗口化工具
12-18
协议验证工具spin的官方可视化窗口工具，在gcc和spin环境下打开是一个蓝色的IDE
UNIX版的SPIN与XSPIN在Cygwin下的安装与使用
02-19
UNIX版的SPIN与XSPIN在Cygwin下的安装与使用
Windows系统下安装与配置Ubuntu 12.04 LTS虚拟机
03-02
使用VirtualBox在Windows系统下安装与配置Ubuntu 12.04 LTS虚拟机
Linux内核-spin_lock()
Jay14的博客
02-15 582
spin_lock()在Linux2.6中，spin_lock()宏有两种实现方式，一种是具有内核抢占的spin_lock()，一种是非抢占式内核中的spin_lock()，下面先看下自旋锁的数据结构，在Linux中，每个自旋锁都用spinlock_t结构表示，如下：typedef struct { /** * 该字段表示自旋锁的状态，值为1表示未加锁，任何负数和0都表示加锁
SPIN的安装问题
Rolbin的专栏
04-23 305
最近正在研究模型检测工具SPIN，发现在xp下总是出现缺gcc的错误。哪位大侠帮一下啊？
Spin与Ispin使用记录
宣小K的博客
09-05 1921
序——这篇文章用来记录使用spin的各种注意事项 1、cygwin的根目录的真实路径 今天试着用了ispin，需要注意的一点是，cygwin（即spin运行的平台）有一个专有目录，如果在ispin中点击open，打开的目录中有文档，音乐，下载，图片等等文件夹，这个咋一看还以为是本机C盘下的那个用户目录.....其实只是很类似，这个目录的真实路径在cygwin的安装目录下。 2、i...
UBuntu12.04下用gcc编译c文件过程详解
热门推荐
FatWhale
03-21 1万+
一 文件准备       因为正好要做作业，所以用vim写了如下两个文件：       1. reverse.h           #include #include void reverse(char *str);
windows系统中安装ispin
箭雨镜屋
01-26 2293
之前按照《SPIN安装步骤》安装ispin遇到了些问题，比如： 1.每次下载安装cygwin到99%就进行不下去了，又要重新安装，而且耗时特别久。 2.用startx打不开XWin Server，亦即打不开ispin。 后来参考了《SPIN安装及模型验证实验报告》，又凭着自己的运气摸索了一下，最后终于半蒙办猜的弄好了。在这里重新整理一下，以免有人和我一样倒霉。 下面开始：
在Ubuntu 12.04 LTS中安装WPS的步骤
在Ubuntu中，可以使用内置的软件中心或者终端来下载和安装WPS。不过，由于Ubuntu 12.04 LTS的年代相对较早，可能需要手动下载WPS的DEB安装包并通过命令行进行安装。 1. 打开终端（Terminal）。 2. 使用`wget`命令从...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值