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

1. Bouillaguet，Quentin；Bobot，François；Sighireanu，Mihaela；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019年）
2. Bao，Yuyan；Leavens，Gary T.；Ernst，Gidon：统一分离逻辑和区域逻辑以实现互操作性（2018）
3. Broy，Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法（2018）
4. Alexander Knüppel；Thüm，Thomas；Pardylla，Carsten Immanuel；Schaefer，Ina:理解演绎验证的参数：对key的实证调查（2018）
5. Swords，Cameron；Sabry，Amr；Tobin Hochstadt，Sam：作为沟通模式的合同监控策略的扩展说明（2018）
6. Ahrendt，Wolfgang；Chimento，Jesús Mauricio；Pace，Gordon J.；Schneider，Gerardo：《结合静态和运行时验证验证的数据和控件导向属性：理论与工具》（2017）
7. Amin，Nada；Rompf，Tiark:LMS verify：验证系统编程的无遗憾抽象（2017）
8. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
9. 单一任务法，法鲁迪奥·德鲁迪奥，2016年完成；法鲁迪奥·德鲁迪奥·德鲁迪奥完成方案验证
10. Galán，Francisco J.；Cañete Valdeón，JoséM.：用无限量化检验一类定义的正逻辑程序的综合（2016）
11. Müller，Peter；Schwerhoff，Malte；Summers，Alexander J.：Viper:基于权限推理的验证基础设施（2016）
12. Wiik，Jonatan；Boström，Pontus:MATLAB风格矩阵程序的基于合同的验证（2016）
13. Mohammaddadegh Dalvandi；Butler，Michael；Rezazadeh，Abdolbaghi：从Event-B模型到Dafny代码合同（2015）ioport公司
14. Dastani，Mehdi（编辑）；Sirjani，Marjan（编辑）：软件工程基础。第六届国际会议，FSEN 2015，伊朗德黑兰，2015年4月22日至24日。修订论文选（2015）
15. Leino，K.Rustan M.；Lucio，Paqui:自然合并排序稳定性和正确性的断言证明（2015）
16. Tschannen，J.；Furia，CA；Nordio，M.；Polikarpova，N.：AutoProof:面向对象程序的自动主动功能验证（2015）阿尔十四
17. Amighi，Afshin；Blom，Stefan；Darabi，Saeed；Huisman，Marieke；Mostowski，Wojciech；Zaharieva Stojanovski，Marina:验证VerCors的并发系统（2014年）
18. Böhl，Florian；Greiner，Simon；Scheidecker，Patrik:在半诚实发送者在场的情况下证明用Java实现的双方计算的正确性和安全性（2014）
19. davidr.Cok:OpenJML：使用JML、OpenJDK和Eclipse的java7软件验证（2014）阿尔十四
20. Din，Crystal Chang；Owe，Olaf：一个完善的共享期货异步通信推理系统（2014）