zbMATH参考文献（参考 55篇文章

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