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

1. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；拉卡马利ć, Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
2. 梅斯盖尔，乔斯é: 广义重写理论，一致性完成和符号方法（2020）
3. 梅斯纳德，弗雷德；付款人，É蒂安；维达尔，杰姆án： 中电联调试验（2020年）
4. 布洛姆，罗德里克；雅各布斯，瑞典人；Vizel，Yakir:投机执行下的有效信息流验证（2019）
5. 拜尔，德克；丹格尔，马提亚斯；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
6. 卡夫勒、比肖克珊；加拉赫，约翰P。；恒河，格雷姆；沙赫特，彼得；Sø安德加德，哈拉尔德；Stuckey，Peter J.：使用约束Horn子句进行前提推断的迭代方法（2018）
7. 基弗，莫里茨；弗拉基米尔·克莱巴诺夫；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
8. 卢卡斯，萨尔瓦多；古蒂é瑞兹，罗来纳州úl： 有序排序一阶理论逻辑模型的自动综合（2018）
9. 卡夫勒、比肖克珊；Gallagher，John P.：Horn子句验证与凸多面体抽象和基于树自动机的精化（2017）
10. 王伟；巴雷特，克拉克；Wies，Thomas:程序分析的分区内存模型（2017）
11. 恒河，格雷姆；纳瓦斯，豪尔赫A。；沙赫特，彼得；Sø安德加德，哈拉尔德；Stuckey，Peter J.：非解释函数的抽象域（2016）
12. 斯特里克曼，奥弗；Veitsman，Maor:非平衡递归函数的回归检验（2016）
13. 谭佳琪；戴惠君；甘地，拉吉耶夫；Narasimhan，Priya:AUSPICE-R:机器代码中真实特征的自动安全性能证明（2016）
14. 北京ø尼可拉杰，rner；格芬克尔，阿里；肯·麦克米兰；Rybalchenko，Andrey:项目验证的Horn条款求解器（2015）