没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
model checking
model checking
模型检测
需积分: 10
9 下载量
140 浏览量
2009-05-21
15:41:14
上传
评论
1
收藏
717KB
PPT
举报
温馨提示
立即下载
模型检测ppt, 理论,工具和其它相关介绍,
资源推荐
资源评论
model checking software
浏览:59
5星 · 资源好评率100%
model checking software
LTL – model checking
浏览:198
model checking 的ppt,应该有帮助的
Software Model Checking
浏览:43
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.
Principles of Model Checking
浏览:147
5星 · 资源好评率100%
该书详细地介绍了ModelChecking的基本原理,适合于初学者
Handbook of Model Checking
浏览:179
course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springer should certainly award that reader a Master’s Degree inModel Checking! Departments in.
Model Checking-Edmund M. Clarke-模型检查PDF
浏览:9
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 ..
Principles of Model Checking(Model Checking经典书籍)
浏览:135
Model Checking经典书籍,如果做形式化验证的话属于必读系列
Priciples of model checking
浏览:189
about model checking
spin model checking
浏览:93
Principles of the Spin Model
Bayes-model-checking
浏览:25
Bayes-model-checking
principles_of_model_checking
浏览:82
principles_of_model_checking一本很好的模型检测的书,我很仔细的看了。希望对大家有帮助!
model checking - E.M Clarke
浏览:85
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
概率模型检验与自治_Probabilistic Model Checking and Autonomy
浏览:39
概率模型检验与自治_Probabilistic Model Checking and Autonomy.pdf
Principle of Model Checking
浏览:140
5星 · 资源好评率100%
这个版本我自己增加了了各个章节的书签,方便阅读的时候查找和对书有一个大概的了解
25 Years of Model Checking.History, Achievements, Perspectives.2008
浏览:194
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium "25 Years of Model Checking", 25
Baier, Katoen - 2008 - Principles of Model Checking.pdf
浏览:129
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
Model Checking
浏览:167
4星 · 用户满意度95%
-Model Checking-Model
model
浏览:147
好的网页制作学习示例
Concepts, Algorithms, and Tools for model checking
浏览:63
这是一本关于模型检测的书籍,适合于初学者。
模型检测 Model Checking
浏览:104
5星 · 资源好评率100%
模型检测 Model Checking
Model Checking 模式检测(英文版)
浏览:20
本人在国外的必修课课件,非常详尽的讲述了模式检测的原理和数学基础,是可计算性与复杂度分析的重要组成部分。
model.m
浏览:139
model.m
model.R
浏览:183
model.R
File checking
浏览:172
NULL 博文链接:https://hemahehe.iteye.com/blog/1180296
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
chendaoxi
粉丝: 0
资源:
12
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
易语言HIPP精易扩展V1.0.1
indy之路第一篇 UDP进行通讯(2)
portable.bouncycastle.1.9.0
按以下要求实现程序功能(java代码).docx
java实现获取今日天气源码
精品协同供应链集成解决方案V70.rar
最新租号平台系统源码,可选择单独租用或与他人合租.rar
备胎书屋2024-04-12.torrent
基于 HTTP 请求的快速数据驱动 pytest 接口自动化测试框架
汐鹤Key码查询+网站授权系统源码.rar
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功