形式化方法书目

形式化方向研究内容包含甚广，应用也涉及计算机科学的各个分支甚至是生物学领域。这里将逻辑基础、形式语义学、并发理论、软硬件验证等各个方面的书籍都包括在这个书目下。其中中文书籍较少，质量通常也较差，但是仍将它们包含进来。 

1.  Verification of Reactive Systems 作者 : Klaus Schneider  出版社 : Springer 评语 : 一看就知道是德国人写的书，详实、严谨 加入购书单

2.  Lectures on Formal Methods and Performance Analysis 作者 : Ed Brinksma 有售 912.00 元起 加入购书单

3.  A calculus of communicating systems 作者 : Robin Milner  出版社 : Springer-Verlag 评语 : CCS提出者图灵奖获得者Miller的书，是他最初讲稿的集合 加入购书单

4.  Model Checking 作者 : Edmund M. Clarke/Orna Grumberg/Doron A. Peled  出版社 : The MIT Press 评语 : Model checking奠基人之一Clark的书，获奖无数，但其实写的并不十分易读，且有错，不适合作为教材 有售 833.00 元起 加入购书单

5.  Communicating and Mobile Systems 作者 : Robin Milner  出版社 : Cambridge University Press 有售 722.00 元起 加入购书单

6.  Communicating sequential processes (Prentice-Hall International series in computer science) 作者 : C. A. R Hoare  出版社 : Prentice/Hall International 加入购书单

7.  The Pi-Calculus 作者 : Davide Sangiorgi/David Walker  出版社 : Cambridge University Press 有售 1101.00 元起 加入购书单

8.  Semantics with Applications 作者 : Hanne Riis Nielson/Flemming Nielson  出版社 : Springer 有售 531.00 元起 加入购书单

9.  软件开发的形式化方法 作者 : 古天龙  出版社 : 高等教育出版社 评语 : 很基础的入门书 有售 19.00 元起 加入购书单

10.  网络协议的形式化分析与设计 作者 : 古天龙  出版社 : 电子工业出版社 有售 78.00 元起 加入购书单

11.  Ｂ语言与方法——实用形式化开发指南 作者 : 〔英〕K.LANO著、鲍涌等译  出版社 : 高等教育出版社 有售 8.56 元起 加入购书单

12.  数字硬件的形式化验证 作者 :  出版社 : 北京大学出版社 加入购书单

13.  密码协议形式化分析 作者 : 王亚弟、束妮娜、韩继红、王娜  出版社 : 机械工业出版社 加入购书单

14.  软件开发的形式化工程方法 作者 : 刘少英 评语 : 软件形式化设计与验证方向 有售 40.50 元起 加入购书单

15.  程序设计语言的形式语义 作者 : Glynn Winskel  出版社 : 中信出版社 机械工业出版社 评语 : 形式语义学方向 有售 28.80 元起 加入购书单

16.  硬件设计验证 作者 : 兰姆  出版社 : 机械工业 评语 : 硬件验证方向 有售 38.70 元起 加入购书单

17.  SystemVerilog验证方法学 作者 : 伯杰龙  出版社 : 北航大 评语 : 硬件验证方向，但基本上讨论的都是基于仿真的验证，形式化验证很少，姑且包含进来 加入购书单

18.  Verification Methodology Manual for SystemVerilog 作者 : Janick Bergeron/Eduard Cerny/Alan Hunter/Andy Nightingale  出版社 : Springer 评语 : 硬件验证方向，但基本上讨论的都是基于仿真的验证，形式化验证很少，姑且包含进来 有售 2057.00 元起 加入购书单

19.  计算机语言的形式语义 作者 : 陆汝钤  出版社 : 科学出版社 加入购书单

20.  Handbook of Process Algebra None  出版社 : Elsevier Science 加入购书单

21.  Fundamentals of Algebraic Specification 1 作者 : Hartmut Ehrig/Bernd Mahr  出版社 : Springer 加入购书单

22.  Fundamentals of Algebraic Specification 2 作者 : Hartmut Ehrig/Bernd Mahr  出版社 : Springer 评语 : Algebraic Specification主要用于刻画程序。这里有一些评论 http://tfs.cs.tu-berlin.de/algspec.html