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

1. 乌尔特维恩，怀兹；古洛夫，迪莲；Huisman，Marieke:共享内存并发性自动验证的实用抽象（2020）
2. 鲍伊拉盖，昆廷；博博特，弗兰çois；希吉瑞努，米哈埃拉；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019）
3. 孟吉，克劳迪奥；斯波莱蒂尼，保拉；玛莎契克；Ghezzi，Carlo:控制器迭代设计的验证驱动框架（2019）
4. 班尼斯特，卡拉姆；Hö弗纳，彼得；克莱恩，格温：《分离逻辑的前后》（2018）
5. 戴勒，西尔文；哈撒，大卫；三月é, 克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
6. 德米里，圣彼得堡é潘恩；洛兹，艾蒂安；Denis Lugiez:论符号堆模许可理论（2018）
7. 鸭子，格雷戈里J。；贾法尔，约森；是的，罗兰H。C、 ：基于图形的数据结构的形状中性分析（2018）
8. Grigoriy Volkov，Mikhail Mandrykin，Denis Efremov:Frama-C:C程序的引理函数作为证明（2018）阿尔十四
9. 萨默斯，亚历山大J。；米ü用于彼得·莱尔（Peter Ler）验证程序（2018年：弱记忆）
10. 詹伯华：使用auto2对命令式程序进行有效验证（2018）
11. 阿伦特，沃尔夫冈；奇门托，杰斯ú毛里西奥；佩斯，戈登J。；Gerardo Schneider:结合静态和运行时验证验证面向数据和控件的属性：理论与工具（2017）
12. 丁斯代尔·杨，托马斯；达罗查平托，佩德罗；安徒生，克里斯托弗只是；Birkedal，Lars:\textscaper-细粒度并发的自动验证（2017）
13. 詹森，克里斯蒂娜；卡泰兰，詹斯；马蒂哈，克里斯托夫；诺尔，托马斯；祖勒格，弗洛里安：关于符号堆分离逻辑鲁棒性的统一推理（2017）
14. 卢卡努、多雷尔；拉苏，弗拉德；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
15. 兄弟斯顿，詹姆斯；戈罗吉安尼斯，尼科斯；卡诺维奇，马克斯；Rowe，Reuben:带归纳谓词的符号堆分离逻辑的模型检查（2016）
16. 米ü勒，彼得；施韦霍夫，麦芽；Summers，Alexander J.：Viper:基于权限推理的验证基础设施（2016）
17. 兄弟斯顿，詹姆斯；Gorogiannis，Nikos:通过碱基对近似来反驳分离逻辑中的归纳蕴涵（2015）
18. 成、蜀；伍德考克，吉姆；D'Souza，Deepak:在FreeRTOS任务模型上使用形式推理（2015）
19. 多戈尔，布里耶什；戈麦斯，维克多·B。F、 。；Struth，Georg:分离逻辑的程序构造和验证工具（2015）
20. 段振华；不，康康；田聪；张楠：基于动态符号执行的模型检验MSVL程序（2015）