下载 >  课程资源 >  专业指导 > 形式化验证,模型检测和数理逻辑经典书籍系列(1)

形式化验证,模型检测和数理逻辑经典书籍系列(1) 评分:

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Logic in Computer Science Modelling and Reasoning about Systems;A Second Course in Formal Languages and Automata Theory;Real-Time Systems Formal Specification and Automatic Verification;Computability Theory ;Computational Complexity A Modern Approach
2009-04-18 上传大小:9.38MB
立即下载 开通VIP
分享
收藏 (1) 举报

评论 共4条

yt13304899512 下载失败了
2017-10-11
回复
zrxuanxiang 整理的很全面,很感谢
2016-10-22
回复
why0511 整理的很全面,感谢分享
2015-06-23
回复
twitteryu 整理的很全 不错
2013-02-21
回复
关于软件形式化验证
形式化验证模型检测数理逻辑经典书籍系列(3)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);Formal_Correctness_of_Security_Protocols;FUNDAMENTALS OF WIRELESS COMMUNICATION;Course in Modal Logic;模态逻辑讲义

立即下载
形式化验证模型检测数理逻辑经典书籍系列(2)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Computability and Logic 5th Edition;Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions;Handbook of Philosophical Logic Volume 4;A first course in logic;计算理论简明纲要 (v1.1)

立即下载
Principles of Model Checking(Model Checking经典书籍

Model Checking经典书籍,如果做形式化验证的话属于必读系列

立即下载
PAT——一种高性能软件验证工具

通信顺序进程(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。

立即下载
形式化数理逻辑(课件)

形式化数理逻辑(课件)形式化数理逻辑(课件)

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

立即下载
Lectures in Logic and Set Theory

Lectures in Logic and Set Theory Volume 1;Lectures in Logic and Set Theory Volume 2;经典中的经典,研究形式化验证的必备资料!有对模型检测和形式化验证的请加入81538367群!

立即下载
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

基于形式化验证工具ProVerif的区块链投票协议形式化验证,方便初学者复现从而理解形式化验证在智能合约领域的应用

立即下载
model checking.pdf(英文版),Edmund M. Clarke著作,模型检验入门书籍

model checking.pdf(英文版),Edmund M. Clarke著作,模型检验入门书籍。有名的模型验证方面的专家。书中对model checking有很全面的介绍。

立即下载
spin625工具

spin625工具,形式化分析与验证。 软件形式化方法

立即下载
形式化z语言辅助工具Z-EVES

形式化z语言辅助工具Z-EVES 进行形式化验证用

立即下载
Semantics of probabilistic processes

我们学者在概率系统形式化验证方面的专著,对于形式化验证方向的研究者非常有用。

立即下载
软件形式化验证课程课件

清华大学软件学院研究生课程回忆 贺飞老师的课程,理论结合实际,研究了NuSMV的工具和语言的运用。 不错的课程,对软件形式化的讲解还是很好地。 资源包括Logic in Computer Science Modelling and Reasoning about Systems教材。英文原版的

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
Principles of Model Checking

一本非常全面,而且易懂的模型检测方面的书。该书 是学习形式化验证比较好的入门书。

立即下载
论文《安全协议的形式化说明、设计及验证

论文《安全协议的形式化说明、设计及验证》

立即下载
形式化B语言

形式化验证 B语言 安全系统设计 软件工程

立即下载
interval analysis methods(区间分析)

区间运算的数学基础,代码的形式化验证常用

立即下载
高速铁路列车运行控制系统的形式化建模与验证方法

高速铁路列车运行控制系统的形式化建模与验证方法

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

形式化验证,模型检测和数理逻辑经典书籍系列(1)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: