ZBMaX中的参考文献（148篇）2篇标准文章）

1. BueNo，丹尼斯；Sakallah，Karem A.：EUFROIA:完整的软件模型检查与未解释的功能（2019）
2. 阿鲁尔，拉杰夫；Bouajjani，艾哈迈德；EsPARZA，哈维尔：模型检查过程程序（2018）
3. 拜尔，Dirk；Dangl，马蒂亚斯；Wendler，Philipp：基于SMT的软件验证的统一观点（2018）
4. 拜尔，Dirk；Gulwani，SUMIT；施密特，David A.：模型检验与数据流分析相结合（2018）
5. Biere，Armin；Kr Off宁，丹尼尔：基于SAT的模型检验（2018）
6. 陈，郝；吴，熊楠；邵，钟；Lockerman，约书亚；顾，荣辉：关于可中断操作系统内核和设备驱动程序的组分验证（2018）
7. 水坝，丹尼斯；格伦伯格，ORNA：抽象与提炼的精髓（2018）
8. GooFoulID，帕特利斯；Sen，KouSek：结合模型检验和测试（2018）
9. Guthmuller，玛丽恩；CARONA，加布里埃尔；坎松，马丁：传统分布式应用程序形式化动态验证的系统级状态等式检测（2018）
10. Jhala，Ranjit；波德尔斯基，安德烈亚斯；里巴尔琴科，安德烈：程序验证的谓词抽象（2018）
11. Kurshan，Robert P.：模型检验到工业实践的转移（2018）
12. Abal，IAGO；Braband，克劳斯；W·SoWSKi，塔尔科夫斯基：C形程序中有效的缺陷发现：形状和效果抽象（2017）
13. Greitschus，马吕斯；狄奇，丹尼尔；Podelski，安德烈亚斯：反例中的循环不变量（2017）
14. Kafle，BiokkSAN；加拉赫，John P.：凸多面体抽象和基于树自动机细化的角子句验证（2017）
15. Aarts，FIDES；Jonsson，Bengt；Uijun，Johan；Vaandrager，FRITS：使用抽象的规则推理生成无限状态通信协议模型（2015）
16. 梅西尼，Amira；勒梅尔，马蒂厄；贲赫嗲，Belgacem；哈达德，SerGE；Barkaoui，Kamel：用TL+（2015）指定和验证并发C程序。伊波尔特
17. 扎哈罗夫，I. Mandrykin，M；Mutilin，V. Novikov，E；Petrenko，A.；Khoroshilov，A:可配置的工具集，用于操作系统内核模块的静态验证（2015）伊波尔特
18. Alberti，弗朗西斯科；BruttMeSO，罗伯托；吉拉第，西尔维奥；Ranise，西尔维奥；Syigina，娜塔莎：用数组插值的懒惰抽象的扩展（2014）
19. Giacobazzi，罗伯托；Ranzato，弗朗西斯科：抽象解释的正确内核（2014）
20. Kuwahara，今间卓也；Terauchi，Tachio；UNNO，Hiroshi；小林定人，Naoki：高阶函数程序的自动终止验证（2014）