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

1. 阿巴西，罗莎；希夫尔，乔纳斯；达鲁洛娃，伊娃；乌尔布里希，马提亚斯；Ahrendt，Wolfgang:KeY中浮点Java程序的演绎验证（2021）
2. Filli–tre，Jean-Christophe:用分散不变量的简单证明（2021）
3. 伊洛斯，雨果；勒梅尔，马修；Rival，Xavier:关系形状抽象域（2021）
4. 拉姆雷奇，莱恩；Sivilotti，Paolo A.G.：使用RESOLVE框架对Java组件的形式化验证（2021）
5. 乌尔特维恩，怀兹；古洛夫，迪莲；Huisman，Marieke:共享内存并发性自动验证的实用抽象（2020）
6. 瓦西里耶夫。；Mutilin，V.S.：用于内存安全正确性分析的符号记忆图的谓词扩展（2020）
7. 鲍伊拉盖，昆廷；博博特，弗朗索瓦；希吉瑞努，米哈埃拉；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019）
8. 孟吉，克劳迪奥；斯波莱蒂尼，保拉；玛莎契克；Ghezzi，Carlo:控制器迭代设计的验证驱动框架（2019）
9. 班尼斯特，卡拉姆；霍夫纳，彼得；克莱恩，格温：《分离逻辑的前后》（2018）
10. 包、玉岩；莱文斯，加里·T。；Ernst，Gidon:统一分离逻辑和区域逻辑以实现互操作性（2018）
11. 戴勒，西尔文；哈撒，大卫；三月，克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
12. 德姆瑞，圣潘；洛兹，艾蒂安；Denis Lugiez:论符号堆模许可理论（2018）
13. 鸭子，格雷戈里J。；贾法尔，约森；Yap，Roland H.C.：基于图的数据结构的形状中性分析（2018）
14. Grigoriy Volkov，Mikhail Mandrykin，Denis Efremov:Frama-C:C程序的引理函数作为证明（2018）阿尔十四
15. 萨默斯，亚历山大J。；Müller，Peter:弱记忆程序的自动演绎验证（2018）
16. 詹伯华：使用auto2对命令式程序进行有效验证（2018）
17. 阿伦特，沃尔夫冈；奇门托，耶斯·莫里西奥；佩斯，戈登J。；Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性：理论与工具（2017）
18. 丁斯代尔·杨，托马斯；达罗查平托，佩德罗；安徒生，克里斯托弗只是；Birkedal，Lars:\textscaper——细粒度并发的自动验证（2017）
19. 詹森，克里斯蒂娜；卡泰兰，詹斯；马蒂哈，克里斯托夫；诺尔，托马斯；祖勒格，弗洛里安：关于符号堆分离逻辑鲁棒性的统一推理（2017）
20. 卢卡努、多雷尔；拉苏，弗拉德；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）