zbMATH中的参考文献（引用于 150篇文章，2标准条款)

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