zbMATH参考文献（57篇文章引用）

1. Oortwijn，Wytse；Gurov，Dilian；Huisman，Marieke:共享内存并发性自动验证的实用抽象（2020）
2. Bouillaguet，Quentin；Bobot，François；Sighireanu，Mihaela；Yakobowski，Boris:利用内存模型中的指针分析进行演绎验证（2019年）
3. Menghi，Claudio；Spoletini，Paola；Chechik，Marsha；Ghezzi，Carlo：控制器迭代设计的验证驱动框架（2019）
4. Bannister，Callum；Höfner，Peter；Klein，Gerwin：《分离逻辑的前后》（2018）
5. 西尔文·戴勒（Dailler），大卫·豪扎（Hauzar），克劳德·马奇（Marché），莫伊（Moy），扬尼克（Yannick）：为反例生成提供最薄弱的前提条件演算（2018年）
6. Demri，Stéphane；Lozes，Etienne；Lugiez，Denis:论符号堆模许可理论（2018）
7. Duck，Gregory J.；Jaffar，Joxan；Yap，Roland H.C.：基于图形的数据结构的形状中性分析（2018）
8. Grigoriy Volkov，Mikhail Mandrykin，Denis Efremov:Frama-C:C程序的引理函数作为证明（2018）阿尔十四
9. Summers，Alexander J.；Müller，Peter:弱记忆程序的自动演绎验证（2018）
10. 詹伯华：使用auto2对命令式程序进行有效验证（2018）
11. Ahrendt，Wolfgang；Chimento，Jesús Mauricio；Pace，Gordon J.；Schneider，Gerardo：《结合静态和运行时验证验证的数据和控件导向属性：理论与工具》（2017）
12. Dinsdale Young，Thomas；da Rocha Pinto，Pedro；Andersen，Kristoffer Just；Birkedal，Lars:\ textscaper-细粒度并发自动验证（2017）
13. Jansen，Christina；Katelaan，Jens；Matheja，Christoph；Noll，Thomas；Zuleger，Florian:符号堆分离逻辑鲁棒性的统一推理（2017）
14. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
15. Brotherston，James；Gorogiannis，Nikos；Kanovich，Max；Rowe，Reuben：带归纳谓词的符号堆分离逻辑的模型检查（2016）
16. Müller，Peter；Schwerhoff，Malte；Summers，Alexander J.：Viper:基于权限推理的验证基础设施（2016）
17. Brotherston，James；Gorogiannis，Nikos：通过碱基对近似否定分离逻辑中的归纳蕴涵（2015）
18. Cheng，Shu；Woodcock，Jim；D'Souza，Deepak:在FreeRTOS任务模型上使用形式推理（2015）
19. Dongol，Brijesh；Gomes，Victor B.F.；Struth，Georg：分离逻辑的程序构造和验证工具（2015）
20. 基于象征性的程序，张振华（音），2015；动态执行；段振华（音）