模型检验原理
Principles of model checking
Christel Baier · 初版 2008 年
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……如果有人对模型检测的历史感兴趣，可以看看图灵奖得主 Edmunde Clarke 的论文《模型检测的诞生》（Birth of Model Checking）；如果你感兴趣，还可以读他的教材《模型检测》（Model Checking），另一本较新的教材是 Baier 和 Katoen 写的《模型检测原理》（Principles of Model Checking）。
january48 在 HN 的推荐
形式化验证：《模型检测原理》（Principles of Model Checking，作者 Baier、Katoen）。它涵盖了基于线性时间和分支时间属性对并发系统进行建模和验证的基础知识。书中也提到了时间自动机，不过对于那些更想验证……的人来说
lou1306 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。