关于电梯的简单NuSMV模型

Name: 关于电梯的简单NuSMV模型
Rating: 4.5 (82 reviews)
Author: wsj260239059

上传者：wsj260239059 2019-06-05 15:43:07上传 SMV文件 4.29KB 热度 82次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

关于电梯的简单NuSMV模型

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

大小：0B | 2019-06-05 15:43:07
elevator NuSMV建模模型检测电梯

Elevator NuSMV modeling model detection elevator

大小：0B | 2019-06-26 15:44:41
NuSMV的电梯程序

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

大小：0B | 2019-06-05 15:43:17
NuSMV模型检测器

大小：0B | 2018-12-09 06:36:57
模型检测Nusmv最新版本

用于符号模型检测,可实现多种断言语言描述的系统规范的验证,很好的软件属性形式化验证工具。

大小：3.78MB | 2020-10-18 08:16:49
nusmv WIN

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

大小：0B | 2020-06-10 14:06:41
NuSMV模型检测工具安装包

新符号模型检测工具，对SMV重构的一个模型检测工具，支持计算树逻辑CTL和线性时序逻辑LTL描述的所...

大小：0B | 2018-12-28 10:12:09
电梯控制模型

大小：0B | 2019-01-23 03:37:58
电梯走廊模型

电梯走廊模型适用于酒店走廊模型设计

大小：167KB | 2020-08-05 03:53:46
install nusmv in xp

explaintheinstallationofNuSMVinXPsystem

大小：0B | 2019-09-10 10:19:46
NuSMV_2.5.4

NuSMVisasymbolicmodelcheckerdevelopedasajointproje...

大小：0B | 2019-05-07 18:32:44
NuSMV2.5.2

NuSMV作为一种有效的分析验证并发系统逻辑一致性的模型检测工具。

大小：0B | 2020-06-20 06:38:31
简单数电电梯控制电梯

简单的数电电梯控制系统，中小规模逻辑电路。

大小：0B | 2019-07-08 16:09:55
很简单的电梯逻辑

很简单的c语言电梯调度方法=====================================...

大小：0B | 2019-05-27 13:25:12
简单电梯程序

这个程序适用于有egg库的图形化库,egg库是哈工大的人开发的

大小：0B | 2019-08-01 18:51:12
NuSMV_2.5.1

NuSMVisare-implementationandextensionofSMV,thefirs...

大小：0B | 2019-05-12 23:31:11