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

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