zbMATH参考文献（参考 116篇文章 参考）

1. Guillaume Burel；Guillaume Bury；Cauderlier，Raphaël；Delahaye，David；Halmagrand，Pierre；Hermant，Olivier:一阶自动推理：当演绎模理论与实践相结合时（2020）
2. Daniel Neider；Madhusudan，P.；Saha，Shambwaditya；Garg，Pranav；Park，Daejun：基于学习的不完全验证引擎不变量合成方法（2020）
3. Apt，Krzysztof R.；Olderog，Ernst-Rüdiger:霍尔逻辑五十年（2019）
4. Bouillaguet，Quentin；Bobot，François；Sighireanu，Mihaela；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019年）
5. Milicevic，Aleksandar；Near，Joseph P.；Kang，Eunsuk；Jackson，Daniel:合金*：通用高阶关系约束求解器（2019）
6. Wang，Wenxi；Søndergaard，Harald；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019年）
7. Zakowski，Yannick；Cachera，David；Demange，Delphine；Petri，Gustavo；Pichardie，David；Jagannathan，Suresh；Vitek，Jan:使用依赖保证方法验证并发垃圾收集器（2019年）
8. Bao，Yuyan；Leavens，Gary T.；Ernst，Gidon：统一分离逻辑和区域逻辑以实现互操作性（2018）
9. 西尔文·戴勒（Dailler），大卫·豪扎（Hauzar），克劳德·马奇（Marché），莫伊（Moy），扬尼克（Yannick）：为反例生成提供最薄弱的前提条件演算（2018年）
10. Godefrod，Patrice；Sen，Koushik:结合模型检查和测试（2018）
11. He，Shaobo；Lahiri，Shuvendu K.；Rakamarić，Zvonimir:验证程序近似的相对安全性、准确性和终止性（2018年）
12. Kiefer，Moritz；Klebanov，Vladimir；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
13. Klebanov，Vladimir；Rümmer，Philipp；Ulbrich，Mattias:通过谓词抽象实现指针程序的自动回归验证（2018）
14. Kotelnikov，叶夫根尼；Kovács，Laura；Voronkov，Andrei：命令程序的下一个国家关系的愚蠢编码（2018）
15. Moore，Brandon；Peña，Lucas；Rosu，Grigore:coinduction的项目验证（2018）
16. Müller，Peter（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月，德国凯斯劳滕研讨会论文精选
17. Summers，Alexander J.；Müller，Peter:弱记忆程序的自动演绎验证（2018）
18. Chakraborty，Supratik；Gupta，Ashutosh；Jain，Rahul:位向量公式中的匹配乘法（2017）
19. Ozeri，Or；Padon，Oded；Rinetzky，Noam；Sagiv，Mooly:使用协调的连接抽象解释（2017）
20. Wood，Tim；Drossopolou，Sophia；Lahiri，Shuvendu K.；Eisenbach，Susan:存在内存分配时的程序等价性模块验证（2017）