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

1. 阿巴西，罗莎；希夫尔，乔纳斯；达鲁洛娃，伊娃；乌尔布里希，马提亚斯；Ahrendt，Wolfgang:KeY中浮点Java程序的演绎验证（2021）
2. 贝林格，伦纳德；Appel，Andrew W.：C程序模块验证中的抽象和包容（2021）
3. 杜特尔，亚伦；莫斯卡托，马里亚诺；蒂托洛，劳拉；穆尼奥斯，塞萨尔；安德森，格雷戈里；Bobot，Francisçois:紧凑位置报告算法的形式分析（2021）
4. Francisco Ortin，Javier Escalada:Cnerator:一个用于控制随机生成标准C源代码的Python应用程序（2021）不是zbMATH
5. 伊洛斯，雨果；勒梅尔，马修；Rival，Xavier:关系形状抽象域（2021）
6. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
7. Kahl，Wolfram:教学工具中的计算关系代数证明（2020）
8. 鲍伊拉盖，昆廷；博博特，弗朗索瓦；希吉瑞努，米哈埃拉；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019）
9. Barany，Gergö：活跃度驱动的随机程序生成（2018）
10. 戴维，纪尧姆；费隆，埃里克；卡罗奇，皮埃尔·洛伊克；Henrion，Didier:线性模型预测控制验证实验：内点法算法的自动生成和形式验证（2018）
11. Grigoriy Volkov，Mikhail Mandrykin，Denis Efremov:Frama-C:C程序的引理函数作为证明（2018）阿尔十四
12. 克努佩尔，亚历山大；图姆，托马斯；帕迪拉，卡斯滕·伊曼纽尔；Schaefer，Ina:理解演绎验证的参数：key的实证调查（2018）
13. 莱切内，让·克里斯托夫；科斯马托夫，尼古拉；Le Gall，Pascale：在查找bug之前先切断分支：在松弛切片上进行可证明的声音验证（2018）
14. 穆勒，彼得（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
15. 佩蒂奥特，纪尧姆；科斯马托夫，尼古拉；肉毒杆菌，伯纳德；乔尔盖蒂，阿兰；Julliand，Jacques：《测试如何帮助诊断验证失败》（2018）
16. 鲁克斯，皮埃尔；穆罕默德伊格恩拉拉；Conchon，Sylvain:控制命令软件验证的非线性算法程序（2018）
17. 萨默斯，亚历山大J。；Müller，Peter:弱记忆程序的自动演绎验证（2018）
18. 蒂托洛，劳拉；费利，马可A。；莫斯卡托，马里亚诺；Muñoz，César A:浮点程序舍入误差分析的抽象解释框架（2018）
19. 波波，文森特；查罗，伊曼纽；Le Gall，Tristan:使用符号传感器对通信过程进行静态分析（2017）
20. 王伟；巴雷特，克拉克；Wies，Thomas:程序分析的分区内存模型（2017）