没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
Principles of Model Checking(Model Checking经典书籍)
Principles of Model Checking(Model Checking经典书籍)
ModelC
模型检测
需积分: 50
58 下载量
35 浏览量
2019-03-18
21:41:11
上传
评论
1
收藏
5.11MB
PDF
举报
温馨提示
立即下载
Model Checking经典书籍,如果做形式化验证的话属于必读系列
资源推荐
资源评论
Principles of Model Checking
浏览:109
5星 · 资源好评率100%
该书详细地介绍了ModelChecking的基本原理,适合于初学者
Principle of Model Checking
浏览:35
5星 · 资源好评率100%
介绍了很多模型验证的方法以及逻辑时序和模糊时序的概念与例子。。。。。
principles_of_model_checking
浏览:95
principles_of_model_checking一本很好的模型检测的书,我很仔细的看了。希望对大家有帮助!
Model Checking-Edmund M. Clarke-模型检查PDF
浏览:12
4星 · 用户满意度95%
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches th
Handbook of Model Checking
浏览:40
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
Baier, Katoen - 2008 - Principles of Model Checking.pdf
浏览:152
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
Software Model Checking
浏览:9
5星 · 资源好评率100%
Tutorial: Abstract. 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 p
spin model checking
浏览:135
Principles of the Spin Model
Principles of Computer Architeture
浏览:106
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
浏览:119
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
浏览:23
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
浏览:116
4星 · 用户满意度95%
-Model Checking-Model
Model Checking 模式检测(英文版)
浏览:68
本人在国外的必修课课件,非常详尽的讲述了模式检测的原理和数学基础,是可计算性与复杂度分析的重要组成部分。
LTL – model checking
浏览:14
model checking 的ppt,应该有帮助的
pyModelChecking:Python模型检查套件
浏览:65
pyModelChecking pyModelChecking是一个小的Python模型检查包。 目前,它可以表示, , 和公式,并且提供了LTL,CTL和CTL *的方法。 将来,它将有望支持符号模型检查。 文献资料 您可以找到pyModelChecking文档。 它包含: Kripke结构,时间逻辑和模型检查的简要介绍 用户手册和一些示例 API手册 例子 首先,导入包中的所有功能和所有
南京大学使用的Model Checking教学PPT
浏览:189
4星 · 用户满意度95%
南京大学使用的验证方面及Model Checking的教学PPT。不过是pdf格式的,事先说明 ^_^
Software Testing and Continuous Quality Improvement
浏览:177
4星 · 用户满意度95%
19 Capability Maturity Model (CMM) . . . . . . . . . . . . . . . . . . . . . . . . . 20 Level 1 — Initial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 ...
[Go语言入门(含源码)] The Way to Go (with source code)
浏览:109
5星 · 资源好评率100%
The Way to Go,: A Thorough Introduction to the Go Programming Language 英文书籍,已Cross the wall,从Google获得书中源代码,分享一下。喜欢请购买正版。 目录如下: Contents Preface......................
The way to go
浏览:58
1.2.4 Guiding design principles...............................................................................7 1.2.5 Characteristics of the language..................................................
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
KiroScarlet
粉丝: 75
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
push_version
软件自制图像批量压缩工具
空白.pages
基于SSM写的停车场管理系统,加入了车牌识别和数据分析+源码+文档说明
stream-response.txt
遗传算法解决旅行商问题 zip
基于teapack实现的头插法
Python库d和OpenCV来实现眼部闭合检测,主要用于评估用户是否眨眼
使用Python库dlib和OpenCV来实现面部特征点的检测和标注
强大好用的人体关键点标注工具
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功