2 个精选知识合集。
作者 Flemming Nielson, Hanne R. Nielson, Chris Hankin
系统介绍程序分析的理论基础与实践方法，适合研究生和研究人员阅读。
作者 Edmund M. Clarke, Orna Grumberg, Doron A. Peled
全面介绍模型检验的理论与实践，是学习形式化验证的经典教材。