没有合适的资源?快使用搜索试试~
我知道了~
文库首页
安全技术
其它
Principles of Model Checking
Principles of Model Checking
,Principles
5星
· 超过95%的资源
需积分: 11
11 下载量
49 浏览量
2013-01-27
21:35:58
上传
评论
收藏
1.6MB
PDF
举报
温馨提示
立即下载
该书详细地介绍了ModelChecking的基本原理,适合于初学者
资源推荐
资源评论
Principle of Model Checking
浏览:42
5星 · 资源好评率100%
这个版本我自己增加了了各个章节的书签,方便阅读的时候查找和对书有一个大概的了解
principles_of_model_checking
浏览:114
principles_of_model_checking一本很好的模型检测的书,我很仔细的看了。希望对大家有帮助!
Principles of Model Checking(Model Checking经典书籍)
浏览:66
Model Checking经典书籍,如果做形式化验证的话属于必读系列
Baier, Katoen - 2008 - Principles of Model Checking.pdf
浏览:27
The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness
Handbook of Model Checking
浏览:52
With 32 technical articles and 76 authors, this handbook represents a full postgraduate course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springe
Software Model Checking
浏览:189
5星 · 资源好评率100%
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder public key protocol.
spin model checking
浏览:117
Principles of the Spin Model
Principles of Computer Architeture
浏览:40
5星 · 资源好评率100%
2.2.2 The Associative Law of Algebra Does Not Always Hold in Computers 23 2.2.3 Radix Number Systems 24 2.2.4 Conversions Among Radices 25 2.2.5 An Early Look at Computer Arithmetic 31 2.2.6 Signed ..
Spatial.Microsimulation.with.R.14987115
浏览:60
Chapter 8: Model checking and evaluation Chapter 9: Population synthesis without microdata Chapter 10: Household allocation Part III: Modelling spatial microdata Chapter 11: The TRESIS approach to ..
enterprise_rails.pdf
浏览:166
Constraint Checking with Triggers 117 Anatomy of a PL/pgSQL Function 121 10. Multiple Table Inheritance ............................................. 127 The Problem 127 What Is Polymorphism? 129 ...
Model Checking
浏览:87
4星 · 用户满意度95%
卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料; 做模型检验和形式化方法的同行可以下载阅读 英文资料
Model Checking Programs
浏览:192
以SPIN为例介绍模型检验的程序验证方法
Software Testing and Continuous Quality Improvement
浏览:77
4星 · 用户满意度95%
19 Capability Maturity Model (CMM) . . . . . . . . . . . . . . . . . . . . . . . . . 20 Level 1 — Initial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 ...
The way to go
浏览:92
1.2.4 Guiding design principles...............................................................................7 1.2.5 Characteristics of the language..................................................
[Go语言入门(含源码)] The Way to Go (with source code)
浏览:180
5星 · 资源好评率100%
1.2.4 Guiding design principles...............................................................................7 1.2.5 Characteristics of the language..................................................
数理逻辑Model Checking
浏览:81
数理逻辑Model Checking 面向计算机科学的数理逻辑:建模检测
Principles.of.the.Spin.Model.Checker
浏览:189
5星 · 资源好评率100%
Principles.of.the.Spin.Model.Checker 完整版,按章节分成几个文件。还有一个最大的文件是整本书合在一起的,但是没有目录导航。下载回来就是这样子的
Principles of Spin Model Checker
浏览:10
5星 · 资源好评率100%
Introduce the concepts and principles of Spin
CTL Model Checking
浏览:113
5星 · 资源好评率100%
CTL Model Checking Lecture #24 of Model Checking
JDK 1.8 64位.rar
浏览:96
5星 · 资源好评率100%
Java JDK 1.8 64位
SoftCnKiller2.54.zip(因为要下载码,弃用不更新了)
浏览:162
5星 · 资源好评率100%
根据data目录下的sign.txt(数字签名字符串)、folder.txt(目录名字符串)筛选流氓软件启动项,默认只删启动项,全选处理后重启系统就可以了。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
afeigo
2019-06-27
这本书更适合当作教材,网上也有详细的课件!!
WarriorAlex
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
自动驾驶定位系列教程十三:基于地图的定位.pdf
916839388551659女帝的日常1.60.apk
视觉毫米波简单后融合方法.pdf
自动驾驶定位系列教程十二:关于建图的讨论.pdf
msvcp140.dll丢失的解决方法
docker制作alpine-jdk-maven镜像
YOLOv5算法站立-跌倒-吸烟行为检测模型+数据集
新员工入职培训全流程资料包gl.zip
滚动garch模型Rolling GARCH
自动驾驶定位系列教程十: 前端里程计扩展.pdf
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功