zbMATH参考文献（参考 151篇文章 参考，2标准条款)

1. Hajdu，Ákos；Micskei，Zoltán:基于CEGAR的模型检查的有效策略（2020年）
2. 卢旭；段振华；田聪；杜宏伟：通过统一模型检查验证堆（2020）
3. Bueno，Denis；Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年）
4. 程序检查（Janeeza，Janeeza；程序模式：Janeeza，2018年）
5. Beyer，Dirk；Dangl，Matthias；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
6. 结合数据分析：David-Wanlow，和Dird-Wanlow，2018；Dird-Wanlow，和数据分析
7. Biere，Armin；Kröning，Daniel:基于SAT的模型检查（2018）
8. 陈浩；吴雄楠；邵忠忠；洛克曼，乔舒亚；顾荣辉：面向可中断操作系统内核和设备驱动程序的组合验证（2018）
9. Dennis Dams；Orna Grumberg:抽象与抽象提炼（2018）
10. Godefrod，Patrice；Sen，Koushik:结合模型检查和测试（2018）
11. Guthmuller，Marion；Corona，Gabriel；Quinson，Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测（2018）
12. Jhala，Ranjit；Podelski，Andreas；Rybalchenko，Andrey:用于程序验证的谓词抽象（2018）
13. Kurshan，Robert P.：模型检验向工业实践的转移（2018）
14. Abal，Iago；Brabrand，Claus；Wąsowski，Andrzej:具有形状和效果抽象的C程序中的有效错误查找（2017）
15. Greitschus，Marius；Dietsch，Daniel；Podelski，Andreas:反例循环不变量（2017）
16. Kafle，Bishoksan；Gallagher，John P.：凸多面体抽象的Horn子句验证和基于树自动机的精化（2017）
17. Aarts，Fides；Jonsson，Bengt；Uijen，Johan；Vaandrager，Frits:使用规则推理和抽象生成无限状态通信协议的模型（2015）
18. Methni，Amira；Lemerre，Matthieu；Ben Hedia，Belgacem；Haddad，Serge；Barkaoui，Kamel:用TLA+指定和验证并发C程序（2015）ioport公司
19. Zakharov，I.；Mandrykin，M.；Mutilin，V.；Novikov，E.；Petrenko，A.；Khoroshilov，A.：操作系统内核模块静态验证的可配置工具集（2015）ioport公司
20. Alberti，Francesco；Bruttomesso，Roberto；Ghilardi，Silvio；Ranise，Silvio；Sharygina，Natasha:数组程序的lazy abstraction和插值扩展（2014）