zbMATH中的参考文献（参考文献153条,2标准条款)

1. 库索，帕特里克：基于抽象解释的规则模型检查器的计算设计（2021）
2. 哈伊杜，Ákos；Michskei，Zoltán:基于CEGAR的模型检查的有效策略（2020）
3. 陆、徐；段振华；田聪；杜宏伟：通过统一模型检查验证堆（2020）
4. 布埃诺，丹尼斯；Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年）
5. 阿鲁尔，拉吉耶夫；艾哈迈德·布瓦贾尼；Esparza，Javier:模型检查程序程序（2018）
6. 拜尔，德克；丹格尔，马提亚斯；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
7. 拜尔，德克；古尔瓦尼，苏米特；Schmidt，David A.：结合模型检查和数据流分析（2018）
8. 贝尔，阿明；Daniel Kröning:基于SAT的模型检查（2018）
9. 陈浩；吴雄南；邵、钟；锁匠，约书亚；顾荣辉：面向可中断操作系统内核和设备驱动程序的组合验证（2018）
10. 戴姆斯，丹尼斯；Grumberg，Orna:抽象与抽象提炼（2018）
11. 哥德弗洛德，帕特里斯；Sen，Koushik:结合模型检查和测试（2018）
12. 古斯穆勒，马里恩；加布里埃尔，科罗娜；Quinson，Martin:遗留分布式应用正式动态验证的系统级状态平等检测（2018）
13. 贾拉，兰吉特；波德尔斯基，安德烈亚斯；Rybalchenko，Andrey:用于程序验证的谓词抽象（2018）
14. Kurshan，Robert P.：模型检验向工业实践的转移（2018）
15. 阿巴尔，伊阿古；布拉布兰德，克劳斯；Wąsowski，Andrzej:具有形状和效果抽象的C程序中的有效缺陷发现（2017）
16. 格雷茨丘，马吕斯；迪茨，丹尼尔；波德尔斯基，安德烈亚斯：《反例中的循环不变量》（2017）
17. 卡夫勒、比肖克珊；Gallagher，John P.：Horn子句验证与凸多面体抽象和基于树自动机的精化（2017）
18. 阮成武；维默，韦斯特利；卡普尔，迪帕克；Forrest，Stephanie:连接程序综合和可达性：使用测试输入生成自动修复程序（2017）
19. Aarts、Fides；强森，本特；尤金，约翰；Vaandrager，Frits:使用规则推理和抽象生成无限状态通信协议的模型（2015）
20. 米什尼，阿米拉；勒梅尔，马修；本·赫迪亚，贝尔加西姆；哈达德，谢尔盖；Barkaoui，Kamel:用TLA+指定和验证并发C程序（2015）ioport公司