principles of the spin model checker

Name: principles of the spin model checker
Rating: 4.5 (51 reviews)
Author: 1144899761

上传者：1144899761 2019-06-22 00:08:57上传 PDF文件 195.03KB 热度 51次

介绍模型检查工具spin的基本概念以及相应机制

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-06-22 00:08:57

内容不完整，只有前言和目录

principles of the spin model checker

介绍模型检查工具spin的基本概念以及相应机制

大小：0B | 2019-06-22 00:08:57
Principles of Spin Model Checker

Introduce the concepts and principles of Spin

大小：3.37MB | 2020-11-05 19:25:55
Principles.of.the.Spin.Model.Checker

Principles.of.the.Spin.Model.Checker 完整版,按章节分成几个文件...

大小：4.22MB | 2020-09-19 08:20:36
Principles of the Spin Model Checker.pdf

Spin模型检测方法,英文版。Principles+of+the+Spin+Model+Checke...

大小：3.37MB | 2020-08-21 14:15:29
spin a model checker

Spinisapopularopen-sourcesoftwaretool,usedbythousa...

大小：0B | 2020-01-13 01:44:37
The Model Checker SPIN

SPINisanefficientverificationsystemformodelsofdist...

大小：0B | 2020-01-13 01:44:41
The Spin Model Checker

The Spin Model Checker - Primer and Reference Manu...

大小：1.33MB | 2020-08-21 14:15:28
priciples of the spin model checker

priciplesofthespinmodelchecker

大小：0B | 2019-09-14 09:27:41
spin model checker primer and reference manual

spin model checker primer and reference manual

大小：1.33MB | 2020-11-06 20:06:32
Spin Model Checker The Primer and Reference Manual

英文原版SPIN入门参考手册，模型检测工具SPIN的入门之选

大小：0B | 2019-07-30 05:28:19
The Spin Model Checker_Primer and Reference Manual CHM格式

TheSpinModelChecker_PrimerandReferenceManual

大小：0B | 2020-05-25 12:03:51
The Spin Model Checker_Primer and Reference Manual PDF格式

TheSpinModelChecker_PrimerandReferenceManual(PDF格式...

大小：0B | 2019-09-14 09:27:43
spin model checking

PrinciplesoftheSpinModel

大小：0B | 2019-05-28 04:39:08
Principles of Model Checking

Thisbookisonmodelchecking,aprominentformalverifica...

大小：0B | 2020-05-24 09:41:14
UPPAAL4.1Model Checker

最流行的模型检测工具，用于实时系统模型检测。

大小：0B | 2019-09-14 09:27:51
jSPIN5.0model checker

基于线性时态逻辑的模型检测工具，很流行，很好用！

大小：0B | 2019-07-30 05:28:10