下载 >  开发技术 >  其它 > nusmv(WIN)

nusmv(WIN) 评分:

nusmv是形式化验证的一个常用工具,主要可以进行LTL,CTL的建模。windows版。
2009-06-30 上传大小:6.86MB
分享
收藏 举报

评论 共4条

babatada 旧版本的,一些性质不能验证,还需在linux下执行。
2013-11-12
回复
kasuo 确实是旧版本,不过写论文用,还是够了
2012-11-11
回复
hanll1108 可以用,不过是2.4.3 现有有2.5版本的了
2012-11-04
回复
magicjians 版本比较低啊
2011-11-07
回复
NuSMV 2.5.2 win.exe

nusmv是形式化验证的一个常用工具,主要可以进行LTL,CTL的建模。2.5.2 windows 版。

立即下载
NuSMV version 2.4.3 安装软件

官网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 Grou

立即下载
关于电梯的简单NuSMV模型

基于NuSMV语言描述三层电梯的行为,并对相关性质进行模型检测。是一个模型检测应用的简单例子。

立即下载
install nusmv in xp

explain the installation of NuSMV in XP system

立即下载
NuSMV-2.5.0.exe

This is version 2 of NuSMV, the New Symbolic Model Verifier.

立即下载
NuSMV-2.5.2.exe

This is latest version of NuSMV, the New Symbolic Model Verifier.

立即下载
From NuSMV to SPIN Experiences with model checking.pdf

From NuSMV to SPIN Experiences with model checking

立即下载
NuSMV 2.2 Tutorial

In this tutorial we give a short introduction to the usage of the main functionalities of 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 behavior o

立即下载
NuSMV的电梯程序

这是一个描述三层楼中电梯运行情况的基于NuSMV的程序

立即下载
NuSMV模型检测器

NuSMV是一个符号模型检测器,由CMU的SMV发展而来的。希望对大家有所帮助。

立即下载
NuSMV模型检测工具安装包

新符号模型检测工具,对SMV重构的一个模型检测工具,支持计算树逻辑CTL和线性时序逻辑LTL描述的所有规范,整合了以SAT为基础的有界模型检测技术。

立即下载
elevator NuSMV 建模 模型检测 电梯

资源:一份源代码,一份英文报告。英文报告包括了模拟运行结果(20步随机),还有CTL以及CTL验证结果,最后一些简单说明。

立即下载
面向计算机科学的数理逻辑 系统建模与推理 中文版

面向计算机科学的数理逻辑 系统建模与推理 第二版 中文版

立即下载
NuSMV-2.5.1

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 verification of industrial designs, as a core for custom verification tools, and as a test-bed for formal v

立即下载
aapt windows

aapt windows版本

立即下载
aircrack-ng-win_for_windows版使用说明

aircrack-ng-win_for_windows版使用说明,很详细。 有术语解释,有使用说明。

立即下载
win10 64位安装ffmpeg-php的文件包

弄啊弄,ffmpeg-php死磕了一晚上,以后用不用ffmpeg-php先不说,现在安装win10问题解决不了无法安心睡觉,找了不少安装教程,都是将php_ffmpeg.dll复制到你所安装的php所在目录下的ext(php扩展目录)下,并将其它的四个文件复制到系统目录下的system32 目录中(一般在c:\window\system32)下等,结果不是的,不需要这么干,具体解压后看说明吧,内涵测试文档!!

立即下载
windows下libmemcached

windows下通过vs2008编译的libmemcached,生成.lib,.dll等文件,找了好久,附带生成的动态库,吧.lib文件加载到工程中即可,注意程序中memcached.h文件的位置

立即下载
NuSMV-2.5.4

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

立即下载
windows安装intl扩展

几个dll文件 扔到 windows system32 或者 SysWOW64下 开启 phpini 对应 intl 扩展 重启

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

nusmv(WIN)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
1 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: