cygwin环境安装NuSMV

最新推荐文章于 2021-03-22 22:25:03 发布
最新推荐文章于 2021-03-22 22:25:03 发布
阅读量1.4k 收藏
点赞数 1
分类专栏： NuSMV cygwin 文章标签： cygwin NuSMV windows 模型检测
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/yingzinanfei/article/details/54808674
版权
本文档详细记录了NuSMV模型检测工具的安装流程，并针对安装过程中遇到的依赖问题提供了具体解决方案，包括使用patch指令安装MiniSat依赖、解决readline安装问题等。

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

来源自我的博客

http://www.yingzinanfei.com/2017/02/01/cygwinhuanjinganzhuangnusmv/

安装NuSMV的过程参见另一篇安装过程，本文记录安装中出现的错误及解决方案

  1. 安装供下载MiniSat依赖的patch指令
apt-cyg install patch
  1. 安装readline
apt-cyg install libreadline7 libreadline-devel

如果安装后在NuSMV中cmake时仍然报错，则在github上下载readline进行安装（官网下载的安装时缺少依赖，暂不知原因）
3. readline安装包进行安装

解压后文件夹为readline-master
./configure
make
make install

如果make时报cannot find -ltermcap的错，则安装依赖的libncureses

apt-cyg install libncureses-devel libncursesw-devel libncursesw10
在windows使用NuSMV
padawan75的博客
02-18 1285
1.下载地址 http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz 2.解压后把/bin文件路径添加到系统的环境变量Path中 3.将编辑好的smv文件放在用户路径中，运行NuSMV xxx.smv即可。 test.smv文件如下，输出结果见上图。 MODULE main VAR level_a : {empty, ok, full}; -- lower tank level_b : {empty, ok, full}; -- up
NuSMV安装及例子运行
Ashely_Xie的博客
03-23 3945
NUSMV方法安装及例子运行 系统ubuntu12.04 参考博客  http://blog.youkuaiyun.com/yingzinanfei/article/details/54808674 方法一：直接下载官网的二进制版本http://nusmv.fbk.eu/bin/bin_download2-v2.cgi 这个解压一下直接就可以用，不需要编译 解压命令 sudo tar zxvf N
nusmv（WIN）
06-30
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
NuSMV-2.5.0.exe
05-28
This is version 2 of NuSMV, the New Symbolic Model Verifier.
NuSMV-2.6.0-win64.tar.gz
10-28
形式化验证工具，NuSMV 2.6.0 is a major release that comes after four years passed working under the surface. The release provides some new features, many bug fixes and optimizations, and substantial differences in the software architecture and building system.
Cygwin中安装PHP方法步骤
10-23
Cygwin环境需要通过一个安装程序来安装，这个安装程序允许用户选择需要安装的软件包。 在Cygwin中安装PHP的步骤可以分为三个主要部分： 1. 安装apt-cyg包管理工具 首先需要安装apt-cyg，这是一个适用于Cygwin的...
在Windows系统上安装Cygwin搭建Swoole测试环境的图文教程
10-15
Cygwin提供了一个类Unix的环境，使得开发者能在Windows上运行许多原本只适用于Linux的程序。以下是详细步骤： 1. **Swoole下载**： 首先，访问Swoole的GitHub发布页面（），下载最新版本的Swoole源代码，可以选择...
cygwin安装php,Cygwin下安装Linux PHP环境和Swoole扩展并在PHPStorm中调试
weixin_28782823的博客
03-11 865
这边博文的目的有以下几点：1、Win下安装cygwin2、在cygwin中安装php环境和php开发环境3、安装swoole扩展4、设置PHPStorm和cygwin完成PHPStrom的远程调试配置以下是正文部分：1、Win下安装Cygwin在Cygwin的官网下载Cygwin安装包，这儿提供64位安装包的下载地址：https://cygwin.com/setup-x86_64.exe ...
cygwin64 安装php,在Windows系统上安装Cygwin搭建Swoole测试环境的图文教程
weixin_35340730的博客
03-22 866
前言昨天，在本地安装 Swoole 调试环境的时候，遇到好几个坑，因为我的电脑是 Windows 系统，所以安装的是 cygwin ，但是过程并不顺利，接连出现安装终端的问题，并一步步查资料排坑，最终也顺利安装成功了，为了让其他人也能一次性就安装成功，省掉很多麻烦闹心事，我特地写了这边文章，希望对有需要的人有所帮助。下载SwooleSwoole下载地址： https://github.com/sw...
NuSMV 编译
Bearhomeng的专栏
10-11 629
1. 下载源代码，并解压缩 $ wget http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz $ tar xzf NuSMV-2.6.0.tar.gz $ cd NuSMV-2.6.0 最新的2.6.0版本附带了MiniSat 和 zChaff 2. 安装依赖 $ sudo yum install gcc flex bison cmake ta...
elevator NuSMV 建模 模型检测 电梯
06-08
资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。
NuSMV-2.5.2.exe
12-30
This is latest version of NuSMV, the New Symbolic Model Verifier.
NuSMV version 2.4.3 安装软件
03-22
官网http://nusmv.fbk.eu/ NuSMV version 2.4.3 安装软件 exe文件，直接安装。 NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova and the Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed by Fabio Somenzi at Colorado University and SAT-based model checking component that includes an RBC-based Bounded Model Checker, connected to the SIM SAT library developed by the University of Genova.
NuSMV模型检测器
07-18
NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。希望对大家有所帮助。
关于电梯的简单NuSMV模型
12-12
基于NuSMV语言描述三层电梯的行为，并对相关性质进行模型检测。是一个模型检测应用的简单例子。
使用NuSMV解决过河问题
jmhIcoding
01-05 4641
使用NuSMV做形式化验证 NuSMV的安装 在http://nusmv.fbk.eu/bin/bin_download2-v2.cgi 页面下载合适的二进制可运行版本即可。在本报告中，本人下载了http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz 文件。 解压后，即可得到具有如下目录的文件夹： 在bin目录下有可执行文件nusmv.exe，直...
NuSMV语法
xscl24的专栏
03-05 3782
NuSMV语法没有非常详细的介绍其中的语法，特别是对于模块调用的写法。 本人在使用NuSMV的时候遇到很多问题，在此书写出来，以便后来人少走弯路。 @1  在func1中调用模块func2（如下），但是经调试，总是提示语法错误（重复定义i，j）。       原来，i，j是作为func2的输入变量，就不能在func1中使用next等表达式。 Module  func1 VAR   
NuSmv安装与使用
陈止风的博客
02-01 8977
来源自我的博客 http://www.yingzinanfei.com/2017/02/01/nusmvanzhuangyushiyong/下载源代码 http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz 最新的2.6.0版本可以自动下载MiniSat和ZChaff安装依赖 sudo yum install gcc flex bison c
使用NuSMV实现过河问题
ponylamb112的博客
11-30 2371
使用NuSMV实现过河问题一、形式化验证工具的安装 一、形式化验证工具的安装 本次实验所需要的工具http://nusmv.fbk.eu/distrib/NuSMV-2.6.0-win64.tar.gz 解压后，即可得到具有如下目录的文件夹： 建议解压到自己的用户文件夹下（例如我解压到）C:\Users\xiaoma\NuSMV-2.6.0（方便起见，将NuSMV-2.6.0名字修改成简单的nusmv2601） 新建一个txt文件，复制以下代码到test.txt，然后重命名为test.smv,将test.
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值