zbMATH中的参考文献（参考文献19条)

1. 加西亚·孔特雷拉斯，伊莎贝尔；莫拉莱斯，何塞芙。；Hermenegildo，Manuel V.：增量和模块化上下文敏感分析（2021）
2. 吉尔迪，西尔维奥；帕加尼，埃琳娜：高阶量词消除，计数器模拟和容错系统（2021）
3. 加拉赫，约翰P。；赫密尼基尔多，曼努埃尔；卡夫勒、比肖克珊；克莱曼，马克西米利亚诺；洛佩斯·加西亚，佩德罗；Morales，José：从大步到小步语义，再回到翻译专业化（2020）
4. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
5. Meseguer，José：广义重写理论，连贯完成和符号方法（2020）
6. 梅斯纳德，弗雷德；Payet，Étienne；Vidal，Germanán:CLP中的混合物测试（2020年）
7. 四、徐杰；奈克，阿迪提亚；戴汉俊；奈克，玛雅；Song，Le:Code2Inv:课程验证的深度学习框架（2020）
8. 布洛姆，罗德里克；雅各布斯，瑞典人；Vizel，Yakir:投机执行下的有效信息流验证（2019）
9. 拜尔，德克；丹格尔，马提亚斯；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
10. 卡夫勒、比肖克珊；加拉赫，约翰P。；恒河，格雷姆；沙赫特，彼得；桑德加德，哈拉尔德；Stuckey，Peter J.：使用约束Horn子句进行前提推断的迭代方法（2018）
11. 基弗，莫里茨；弗拉基米尔·克莱巴诺夫；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
12. 卢卡斯，萨尔瓦多；Gutiérrez，Raúl:有序排序一阶理论逻辑模型的自动合成（2018）
13. 卡夫勒、比肖克珊；Gallagher，John P.：Horn子句验证与凸多面体抽象和基于树自动机的精化（2017）
14. 王伟；巴雷特，克拉克；Wies，Thomas:程序分析的分区内存模型（2017）
15. 德安吉丽斯，伊曼纽尔；费奥拉万蒂，法比奥；佩托罗斯，阿尔伯托；Proietti，Maurizio:从Horn子句验证条件中移除不必要的变量（2016）
16. 恒河，格雷姆；纳瓦斯，豪尔赫A。；沙赫特，彼得；桑德加德，哈拉尔德；Stuckey，Peter J.：非解释函数的抽象域（2016）
17. 斯特里克曼，奥弗；Veitsman，Maor:非平衡递归函数的回归检验（2016）
18. 谭佳琪；戴惠君；甘地，拉吉耶夫；Narasimhan，Priya:AUSPICE-R:机器代码中真实特征的自动安全性能证明（2016）
19. 比约纳，尼古拉；格芬克尔，阿里；肯·麦克米兰；Rybalchenko，Andrey:项目验证的Horn条款求解器（2015）