没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
nusmv（WIN）
nusmv（WIN）
nusmv
形式化验证
4星
· 超过85%的资源
需积分: 33
42 下载量
173 浏览量
2009-06-30
21:11:47
上传
评论
收藏
6.86MB
EXE
举报
温馨提示
立即下载
开通VIP（低至0.43/天）
买1年送3个月
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
资源推荐
资源评论
NuSMV 2.5.2 win.exe
浏览：146
5星 · 资源好评率100%
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。2.5.2 windows 版。
NuSMV-2.6.0-win64.tar.gz
浏览：62
形式化验证工具，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 differenc
NuSMV version 2.4.3 安装软件
浏览：162
5星 · 资源好评率100%
官网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
NuSMV-2.5.0.exe
浏览：159
This is version 2 of NuSMV, the New Symbolic Model Verifier.
NuSMV-2.5.2.exe
浏览：38
5星 · 资源好评率100%
This is latest version of NuSMV, the New Symbolic Model Verifier.
关于电梯的简单NuSMV模型
浏览：4
基于NuSMV语言描述三层电梯的行为，并对相关性质进行模型检测。是一个模型检测应用的简单例子。
nuXmv-2.0.0-win64.tar.gz
浏览：128
nuXmv是一种新的符号模型检查器，用于分析同步有限状态和有限状态系统。 nuXmv扩展NuSMV沿着两个主要方向: 对于有限状态的情况，nuXmv具有基于最先进的基于SAT的算法的强大验证引擎。 对于无限状态的情况，nuXmv具有基于SMT的验证技术，通过与数学5。 查看的完整列表特征由nuXmv提供，或者看看用户手册。 nuXmv目前以二进制形式获得许可，用于非商业或学术目的。
NuSMV2.6符号模型检查器的技术资料与用户手册-综合文档
浏览：193
NuSMV2.6符号模型检查器的技术资料与用户手册
NuSMV的电梯程序
浏览：123
4星 · 用户满意度95%
这是一个描述三层楼中电梯运行情况的基于NuSMV的程序
UMLStateMachine2NuSMV
浏览：165
UMLStateMachine2NuSMV 概述 这是一个在 Eclipse Modeling Framework (EMF) 上从 UML 状态机模型到 NuSMV 代码的转换项目。 它包含以下内容： 从 UML 状态机到 NuSMV 模型的转换 来自 NuSMV 模型的代码生成模板 示例 UML 模型 要求 我们使用以下元模型。 UML 2.4 元模型 ( ) NuSMV 元模型 (
NuSMV 2.2 Tutorial
浏览：192
5星 · 资源好评率100%
NUSMV. In Chapter 2 [Examples], page 3 we describe the input language of NUSMV by presenting some examples of NUSMV models. Chapter 3 [Simulation], page 8 shows how the user can get familiar with the
install nusmv in xp
浏览：170
explain the installation of NuSMV in XP system
NuSMV模型检测器
浏览：9
4星 · 用户满意度95%
NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。希望对大家有所帮助。
From NuSMV to SPIN Experiences with model checking.pdf
浏览：167
From NuSMV to SPIN Experiences with model checking
Pi-演算模型到SMV程序代码的自动转换工具PiCal2NuSMV+例子
浏览：85
5星 · 资源好评率100%
PiCal2NuSMV为本人研究生阶段实现的一个从Pi-演算模型到SMV程序代码的自动转换工具。PiCal2lNuSMV共分为三大组件：Pi-演算文本解析器、转换适配器和SMV程序产生器。Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。
matlab代码转化为simulink-Exploring-Simulink-Design-Verifier-3:这是为模式转换生成NuSMV
浏览：55
matlab代码转化为simulink 探索-Simulink-Design-Verifier-3 这是为模式转换生成 NuSMV 和 Matlab 代码的脚本 定义为表格的模式转换可以轻松转换为 Matlab 和 NuSMV 代码，以便在 SDV 和 NuSMV 工具中使用。 这用于正式证明模式转换的正确性。 提供了两个示例 - 一个是较早的自动驾驶仪模式转换，另一个是通用表。
elevator NuSMV 建模 模型检测 电梯
浏览：177
5星 · 资源好评率100%
资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。
NuSMV-2.5.4
浏览：196
5星 · 资源好评率100%
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 ...
NuSMV模型检测工具安装包
浏览：10
新符号模型检测工具，对SMV重构的一个模型检测工具，支持计算树逻辑CTL和线性时序逻辑LTL描述的所有规范，整合了以SAT为基础的有界模型检测技术。
NuSMV-2.5.1
浏览：29
3星 · 编辑精心推荐
NuSMV is a re-implementation and extension of SMV, the first model checker based on BDDs. It has been designed to be an open architecture for model checking, which can be reliably used for the ...
NuSMV-2.5.4-i386-pc-mingw32
浏览：106
4星 · 用户满意度95%
NuSMV-2.5.4-i386-pc-mingw32,下载后装到其他盘
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：146
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：114
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：6
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：45
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
XCP协议的规范文档
浏览：39
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
评论
收藏
内容反馈
立即下载
开通VIP（低至0.43/天）
买1年送3个月
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
magicjians
2011-11-07
版本比较低啊
kasuo
2012-11-11
确实是旧版本，不过写论文用，还是够了
hanll1108
2012-11-04
可以用，不过是2.4.3 现有有2.5版本的了
babatada
2013-11-12
旧版本的，一些性质不能验证，还需在linux下执行。
tian_yi8888
粉丝: 0
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
Acer 4741G最新1.31 BIOS
葡萄叶病变检测模型yolov8pt格式
1730818357354.jpg
IMG_20241105_234349.jpg
mt_novel_1730828678112.png
Weblogic远程代码执行漏洞（CVE-2023-21839）工具包
Image_3247740071567746.png
工具箱-win-1.0.303-x64.exe版本- 各种常用的开发工具和数据库可视化工具
工具箱-mac-1.0.178-x64- 各种常用的开发工具和数据库可视化工具
C#开发的简单USBHID上位机
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
