形式化验证相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
Model Checking
Edmund M. Clarke, Orna Grumberg, Doron A. Peled
评分 8.6分
Model checking领域的权威书籍
Practical TLA+
Hillel Wayne
评分 暂无
Specifying Systems
Leslie Lamport
评分 9.3分
This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way
