Edmund M. Clarke的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
Model Checking
Edmund M. Clarke, Orna Grumberg, Doron A. Peled
评分 8.6分
Model checking领域的权威书籍
