下载 >  课程资源 >  专业指导 > 软件形式化验证课程课件

软件形式化验证课程课件 评分:

清华大学软件学院研究生课程回忆 贺飞老师的课程,理论结合实际,研究了NuSMV的工具和语言的运用。 不错的课程,对软件形式化的讲解还是很好地。 资源包括Logic in Computer Science Modelling and Reasoning about Systems教材。英文原版的
2010-06-08 上传大小:6.67MB
分享
收藏 (3) 举报

评论 共6条

joy9088 花了很多分才下载到,物有所值,不错
2014-07-03
回复
shy_baoclr 分数有点多,课件还可以吧
2014-04-09
回复
rainystray 课件不错,形式化入门研究的好资料
2014-02-18
回复
flyingtogether 挺有用的课件!需要结合其他文献或书籍进一步理解课件。
2013-04-28
回复
cy0465 课件是中英文混合的,呵呵。还行。
2012-11-28
回复
e__ac 形式化的课件写的还不错,NuSMV写得还不错。就是要分也太多了,不是很值。
2012-07-10
回复
关于软件形式化验证
请教什么是“形式化软件开发方法”
形式化验证调研报告
形式化验证技术
软件形式化方法概述
形式化验证(Formal verification)如何确保完美的智能合同?
形式化方法对软件开发的挑战:一些历史与现实
PAT——一种高性能软件验证工具

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

立即下载
spin625工具

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

立即下载
形式化方法概貌_2018

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础 建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈 多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证 为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融 合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用 已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设

立即下载
B语言与方法_实用形式化开发指南

B语言与方法 / (英)K. Lano著 , 鲍涌等译 高等教育出版社 出版日期: 1998.7 目录: 第一章 引言 1.1 形式化方法

立即下载
形式化验证,模型检测和数理逻辑经典书籍系列(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;模态逻辑讲义

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

立即下载
软件形式化方法视频课程5-8

软件形式化方法视频教程,非常好,付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

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

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

立即下载
Semantics of probabilistic processes

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

立即下载
大型软件形式化开发方法及CASE工具ZIPC

大型软件形式化开发方法及CASE工具ZIPC 软件开发方法PPT

立即下载
A FEATURE-BASED CLASSIFICATION OF FORMAL VERIFICATION TECHNIQUES

该学术论文描述了软件模型的形式化验证基于特征的一种分类方法

立即下载
软件形式化方法视频课程9-12

软件形式化方法9-12,购买于某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

立即下载
web服务形式化验证

web服务形式化验证,将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结果表明,基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。

立即下载

热点文章

img

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

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

软件形式化验证课程课件

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

积分不足!

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

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

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

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

兑换成功

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

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

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

举报

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