形式化方法概貌2018
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础 建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈 多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证 为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融 合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用 已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设
用户评论
推荐下载
-
形式化方法概貌
介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式 验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其它领域的交叉和融合;分析形式化方法的启示,并展望了其
55 2019-01-10 -
形式化方法课件中文
北大形式化方法课程的课件,重点介绍软件开发过程中的形式化方法。
44 2018-12-26 -
软件形式化方法PetriZ方法.txt
百度云连接-如有问题询1039175216 软件及其开发概述有限状态机及其扩展Petri网进程代数一阶逻辑时态逻辑Z方法VDMLarch
17 2020-05-24 -
软件形式化方法概述.docx
软件形式化方法概述.docx
18 2020-05-30 -
软件开发形式化方法教材
软件开发的形式化方法。语义学方面的教材。
32 2019-05-23 -
电信协议工程与形式化方法
Telecommunications protocol engineering and formal methods
28 2019-06-26 -
形式化方法书fsuz02
形式化方法用书FSUZ_Lightfoot_02
35 2019-07-24 -
Petri网原理形式化建模方法
是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等
15 2020-05-18 -
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。
214 2018-12-26 -
欧洲形式化方法的课程安排
形式化方法 课程学习 可以借鉴一下,哪些比较基础,哪些比较成熟或者先进
8 2021-02-22
暂无评论