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

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