形式化方向研究内容包含甚广,应用也涉及计算机科学的各个分支甚至是生物学领域。这里将逻辑基础、形式语义学、并发理论、软硬件验证等各个方面的书籍都包括在这个书目下。其中中文书籍较少,质量通常也较差,但是仍将它们包含进来。
作者 : Klaus Schneider 评语 : 一看就知道是德国人写的书,详实、严谨 |
作者 : Ed Brinksma |
作者 : Robin Milner 评语 : CCS提出者图灵奖获得者Miller的书,是他最初讲稿的集合 |
作者 : Edmund M. Clarke/Orna Grumberg/Doron A. Peled 评语 : Model checking奠基人之一Clark的书,获奖无数,但其实写的并不十分易读,且有错,不适合作为教材 |
作者 : Robin Milner |
作者 : C. A. R Hoare |
作者 : Davide Sangiorgi/David Walker |
作者 : Hanne Riis Nielson/Flemming Nielson |
9.
软件开发的形式化方法
作者 : 古天龙 评语 : 很基础的入门书 |
10.
网络协议的形式化分析与设计
作者 : 古天龙 |
作者 : 〔英〕K.LANO著、鲍涌等译 |
12.
数字硬件的形式化验证
作者 : |
13.
密码协议形式化分析
作者 : 王亚弟、束妮娜、韩继红、王娜 |
14.
软件开发的形式化工程方法
作者 : 刘少英 评语 : 软件形式化设计与验证方向 |
15.
程序设计语言的形式语义
作者 : Glynn Winskel 评语 : 形式语义学方向 |
16.
硬件设计验证
作者 : 兰姆 评语 : 硬件验证方向 |
作者 : 伯杰龙 评语 : 硬件验证方向,但基本上讨论的都是基于仿真的验证,形式化验证很少,姑且包含进来 |
作者 : Janick Bergeron/Eduard Cerny/Alan Hunter/Andy Nightingale 评语 : 硬件验证方向,但基本上讨论的都是基于仿真的验证,形式化验证很少,姑且包含进来 |
19.
计算机语言的形式语义
作者 : 陆汝钤 |
None |
作者 : Hartmut Ehrig/Bernd Mahr |
作者 : Hartmut Ehrig/Bernd Mahr 评语 : Algebraic Specification主要用于刻画程序。这里有一些评论 http://tfs.cs.tu-berlin.de/algspec.html |