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

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