形式化方法相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
评分 暂无
Model Checking
Edmund M. Clarke, Orna Grumberg, Doron A. Peled
评分 8.6分
Model checking领域的权威书籍
