NuSMV-2.5.1

Name: NuSMV-2.5.1
Rating: 4.5 (52 reviews)
Author: 追风听雨者

上传者：追风听雨者 2019-05-12 23:31:11上传 GZ文件 3.62MB 热度 52次

NuSMVisare-implementationandextensionofSMV,thefirstmodelcheckerbasedonBDDs.Ithasbeendesignedtobeanopenarchitectureformodelchecking,whichcanbereliablyusedfortheverificationofindustrialdesigns,asacoreforcustomverificationtools,andasatest-bedforformalverificationtechniques.

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-05-12 23:31:11

不知道如何使用，不过资源还是不错的

NuSMV_2.5.1

NuSMVisare-implementationandextensionofSMV,thefirs...

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

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

大小：0B | 2020-06-10 14:06:41
NuSMV2.5.2

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

大小：0B | 2020-06-20 06:38:31
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.2Tutorial

Inthistutorialwegiveashortintroductiontotheusageof...

大小：0B | 2019-07-23 20:26:46
NuSMV_2.5.2.exe

ThisislatestversionofNuSMV,theNewSymbolicModelVeri...

大小：0B | 2019-06-25 21:00:23
NuSMV的电梯程序

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

大小：0B | 2019-06-05 15:43:17
NuSMV2.5.0.exe

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

大小：12.48MB | 2020-12-15 12:31:28
NuSMV2.5.2win.exe

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

大小：5.61MB | 2020-08-20 23:09:15
NuSMV模型检测器

大小：0B | 2018-12-09 06:36:57
elevator NuSMV建模模型检测电梯

Elevator NuSMV modeling model detection elevator

大小：0B | 2019-06-26 15:44:41
NuSMV version2.4.3安装软件

官网http://nusmv.fbk.eu/NuSMVversion2.4.3安装软件exe文件，直...

大小：0B | 2020-06-20 06:38:30
关于电梯的简单NuSMV模型

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

大小：0B | 2019-06-05 15:43:07
NuSMV2.5.4i386pcmingw32

NuSMV-2.5.4-i386-pc-mingw32,下载后装到其他盘

大小：0B | 2020-06-21 05:52:37
SFML2.5.1

SFML-2.5.1 x64版本 VS2017以及VS2019可用 SFML-2.5.1-windo...

大小：0B | 2020-10-28 03:52:02