工业关键系统的形式化方法：应用综述去注释.pdf

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

作　　者： 古天龙　编 出 版 社： 高等教育出版社 形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于“软件的形式化方法”的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、 Larch等。 　　本书可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。

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

软件工程形式化方法，Z语言，期末考试复习要点。包括各个章节的知识点可经典例题。

由我自己整理的对形式化方法中的进程代数给了一个总体的概览，因为国内做这个方向的不过，而且中文资料少得可怜，仅以分享。

《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。