zbMATH中的参考文献（参考文献118篇)

1. 克里斯滕森，迈克尔；麦克马汉，约瑟夫；尼科尔斯，劳顿；罗什，贾里德；谢伍德，蒂莫西；Hardekopf，Ben:通过完整性类型和验证装配的安全功能系统（2021）
2. 伊恩，克里斯蒂安；莫尼尔，劳伦特；Potet，Marie Laure:输出敏感信息流分析（2021）
3. 布雷尔，纪尧姆；伯里，纪尧姆；考德利尔，拉斐尔；德拉哈耶，大卫；哈马格兰德，皮埃尔；Hermant，Olivier:一阶自动推理理论：当演绎模理论与实践相结合时（2020）
4. 尼尔，丹尼尔；马杜苏丹，P。；萨哈，Shambwaditya；加格，普拉纳夫；Park，Daejun：基于学习的不完全验证引擎不变量合成方法（2020）
5. 阿普特，Krzysztof R。；奥尔德罗，恩斯特-吕迪格：霍尔逻辑的五十年（2019）
6. 鲍伊拉盖，昆廷；博博特，弗朗索瓦；希吉瑞努，米哈埃拉；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019）
7. 米利切维奇，亚历山达；附近，约瑟夫P。；康恩苏克；丹尼尔·杰克逊：合金*：通用高阶关系约束求解器（2019）
8. 王文喜；桑德加德，哈拉尔德；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019）
9. 扎科夫斯基，亚尼克；大卫，卡塞拉；德曼吉，德尔菲；佩特里，古斯塔沃；皮查迪，大卫；苏雷什贾甘纳森；Vitek，Jan:使用依赖保证方法验证并发垃圾收集器（2019）
10. 包、玉岩；莱文斯，加里·T。；Ernst，Gidon:统一分离逻辑和区域逻辑以实现互操作性（2018）
11. 戴勒，西尔文；哈撒，大卫；三月，克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
12. 哥德弗洛德，帕特里斯；Sen，Koushik:结合模型检查和测试（2018）
13. 何少波；拉希里，Shuvendu K。；Rakamarić，Zvonimir:验证程序近似的相对安全性、准确性和终止性（2018）
14. 基弗，莫里茨；弗拉基米尔·克莱巴诺夫；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
15. 弗拉基米尔·克莱巴诺夫；吕默，菲利普；Ulbrich，Mattias:通过谓词抽象实现指针程序的自动回归验证（2018）
16. 科特尔尼科夫，叶夫根尼；科瓦茨，劳拉；沃龙科夫，安德烈：命令式项目的下一个国家关系的愚蠢编码（2018）
17. 摩尔，布兰登；培尼亚，卢卡斯；Rosu，Grigore:coinduction的项目验证（2018）
18. 穆勒，彼得（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
19. 萨默斯，亚历山大J。；Müller，Peter:弱记忆程序的自动演绎验证（2018）
20. 查克拉波蒂，上提克；古普塔，阿什图什；Jain，Rahul:位向量公式中的匹配乘法（2017）