zbMATH中的参考文献（参考 63篇文章，3标准条款)

1. de Gouw，Stijn；de Boer，Frank S.；Bubel，Richard；Hähnle，Reiner；Rot，Jurriaan；Steinhöfel，Dominic:验证OpenJDK的泛型集合排序方法（2019年）
2. Menghi，Claudio；Spoletini，Paola；Chechik，Marsha；Ghezzi，Carlo：控制器迭代设计的验证驱动框架（2019）
3. 普拉泽、安德烈：一举换下制服（2019年）
4. Alexander Knüppel；Thüm，Thomas；Pardylla，Carsten Immanuel；Schaefer，Ina:理解演绎验证的参数：对key的实证调查（2018）
5. Müller，Peter（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
6. Ahrendt，Wolfgang；Chimento，Jesús Mauricio；Pace，Gordon J.；Schneider，Gerardo：《结合静态和运行时验证验证的数据和控件导向属性：理论与工具》（2017）
7. 沃尔夫冈·阿伦特（Ahrendt）；劳拉·科瓦茨（Kovács）；西蒙·罗比拉德（Robilard），西蒙：《在钥匙里使用吸血鬼的推理》（2015）
8. Nathan Fulton；Mitsch，Stefan；Quesel，Jan David；Völp，Marcus；Platzer，André：KeYmaera X：混合系统的公理化战术定理证明者（2015）
9. 黑山，Manuel；Peña，Ricardo；Sánchez Hernández，Jaime:验证条件生成的通用中间表示法（2015）
10. Tschannen，J.；Furia，CA；Nordio，M.；Polikarpova，N.：AutoProof:面向对象程序的自动主动功能验证（2015）阿尔十四
11. 沃尔夫冈·阿伦特；贝克特，伯恩哈德；布伦斯，丹尼尔；布贝尔，理查德；格拉迪斯，克里斯托夫；格雷宾，莎拉；Hähnle，雷纳；亨切尔，马丁；赫尔达，米海；克莱班诺夫，弗拉基米尔；莫斯托夫斯基，沃伊切赫；舍本，克里斯托夫；施密特，彼得；乌尔布里希，马蒂亚斯：Java程序验证和分析的关键平台（2014年）ioport公司
12. De Gouw，Stijn；De Boer，Frank；Rot，Jurriaan：《证明珍珠：正确和稳定分类的关键》（2014）
13. Kohlhase，Michael；Mance，Felix；Rabe，Florian:一种用于双形理论图的通用机器（2013）
14. 秦胜超；何冠华；秦维安；杨红丽：用于自动程序验证的组合域上的不变量合成（2013）
15. Barros，JoséBernardo；da Cruz，Daniela；Henriques，Pedro Rangel；Pinto，Jorge Sousa:基于断言的切片和切片图（2012）
16. Ulbrich，Mattias；Geilmann，Ulrich；El Ghazi，Aboubakr Achraf；Taghdiri，Mana：合金规范的证明助理（2012）
17. Frade，Maria João；Pinto，Jorge Sousa：源代码级命令式程序的验证条件（2011）
18. 卡博特，乔迪；保罗，拉奎尔；拉文图斯，鲁思：从UML/OCL到SBVR规范：一个富有挑战性的转变（2010）ioport公司
19. du Bousquet，Lydie；Ledru，Yves；Maury，Olivier；Oriat，Catherine；Lanet，Jean-Louis：重用专门用于验证测试的JML规范，反之亦然：案例研究（2010）ioport公司
20. 考尔，斯特凡；温克勒，Jürgen F.H.：for循环不变量的机械推理（2010）