没有合适的资源？快使用搜索试试~
我知道了~
文库首页
后端
C#
Principles of Model Checking
Principles of Model Checking
ajax
java
asp.net
algorithm
需积分: 10
19 下载量
138 浏览量
2009-02-01
18:54:38
上传
评论
1
收藏
5.5MB
PDF
举报
温馨提示
立即下载
Principles of Model Checking
资源推荐
资源评论
Principle of Model Checking
浏览：201
5星 · 资源好评率100%
介绍了很多模型验证的方法以及逻辑时序和模糊时序的概念与例子。。。。。
principles_of_model_checking
浏览：4
principles_of_model_checking一本很好的模型检测的书，我很仔细的看了。希望对大家有帮助！
Principles of Model Checking（Model Checking经典书籍）
浏览：137
Model Checking经典书籍,如果做形式化验证的话属于必读系列
Baier, Katoen - 2008 - Principles of Model Checking.pdf
浏览：67
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
浏览：50
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
浏览：104
Principles of the Spin Model
Principles of Computer Architeture
浏览：158
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 ..
Model Checking
浏览：153
4星 · 用户满意度95%
卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料； 做模型检验和形式化方法的同行可以下载阅读 英文资料
Model Checking Programs
浏览：172
以SPIN为例介绍模型检验的程序验证方法
数理逻辑Model Checking
浏览：66
数理逻辑Model Checking 面向计算机科学的数理逻辑：建模检测
Spatial.Microsimulation.with.R.14987115
浏览：120
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
浏览：109
Constraint Checking with Triggers 117 Anatomy of a PL/pgSQL Function 121 10. Multiple Table Inheritance ............................................. 127 The Problem 127 What Is Polymorphism? 129 ...
Software Testing and Continuous Quality Improvement
浏览：139
4星 · 用户满意度95%
19 Capability Maturity Model (CMM) . . . . . . . . . . . . . . . . . . . . . . . . . 20 Level 1 — Initial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 ...
The way to go
浏览：86
1.2.4 Guiding design principles...............................................................................7 1.2.5 Characteristics of the language..................................................
[Go语言入门（含源码）] The Way to Go (with source code)
浏览：39
5星 · 资源好评率100%
1.2.4 Guiding design principles...............................................................................7 1.2.5 Characteristics of the language..................................................
Principles.of.the.Spin.Model.Checker
浏览：67
5星 · 资源好评率100%
Principles.of.the.Spin.Model.Checker 完整版，按章节分成几个文件。还有一个最大的文件是整本书合在一起的，但是没有目录导航。下载回来就是这样子的
Principles of Spin Model Checker
浏览：174
5星 · 资源好评率100%
Introduce the concepts and principles of Spin
Handbook of Model Checking
浏览：44
4星 · 用户满意度95%
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming
CTL Model Checking
浏览：174
5星 · 资源好评率100%
CTL Model Checking Lecture #24 of Model Checking
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
kittyjie
粉丝: 237
资源:
1615
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
基于软件无线电平台的功率域NOMA下行链路设计与实现_程昭钧.caj
JavaScript 动态网页实例 - DOM 中的事件处理.rar
c语言力学相关的流体源码.zip
850899027844134base3.apk
c语言图书借阅系统源码.zip
c语言吃逗游戏源码.zip
6、段子发布平台大学生系统（ssm-vue）.zip
PHP成绩查询系统毕业设计（程序+lw+ppt）
工作簿1(1).xlsx
4、仿微博(ssm)大学生系统.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
