zbMATH参考文献（参考 66篇文章 参考）

1. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
2. Barthe，Gilles；Betarte，Gustavo；Campo，Juan Diego；Luna，Carlos：恒定时间密码的系统级非干扰。一： 模型（2019）
3. Besson，Frédéric；Blazy，Sandrine；Wilke，Pierre：支持指针算法和未初始化数据的内存模型的验证CompCert前端（2019年）
4. Menghi，Claudio；Spoletini，Paola；Chechik，Marsha；Ghezzi，Carlo：控制器迭代设计的验证驱动框架（2019）
5. 西尔文·戴勒（Dailler），大卫·豪扎（Hauzar），克劳德·马奇（Marché），莫伊（Moy），扬尼克（Yannick）：为反例生成提供最薄弱的前提条件演算（2018年）
6. Thomas Dinsdale Young；Pedro da Rocha Pinto；Philippa Gardner:A perspective on specifying and Verification concurrent Module（2018年）
7. Alexander Knüppel；Thüm，Thomas；Pardylla，Carsten Immanuel；Schaefer，Ina:理解演绎验证的参数：对key的实证调查（2018）
8. Summers，Alexander J.；Müller，Peter:弱记忆程序的自动演绎验证（2018）
9. Roşu，Grigore:匹配逻辑（2017）
10. 菲利特，让·克里斯托夫；贡德尔曼，莱昂；帕斯凯维奇，安德烈：《幽灵密码》（2016）
11. 雅各布，巴特；福格尔斯，弗里德里克；皮尔森，弗兰克：羽量级的verifast（2015）
12. Kirchner，Florent；Kosmatov，Nikolai；Prevosto，Virgile；Signoles，Julien；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
13. Leino，K.Rustan M.；Lucio，Paqui:自然合并排序稳定性和正确性的断言证明（2015）
14. 虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化、虚拟化ioport公司
15. O'hern，Peter W.；Petersen，Rasmus L.；Villard，Jules；Hussain，Akbar:论并发分离逻辑与并发Kleene代数的关系（2015）
16. Roşu，Grigore:从重写逻辑到编程语言语义，再到程序验证（2015）
17. Tschannen，J.；Furia，CA；Nordio，M.；Polikarpova，N.：AutoProof:面向对象程序的自动主动功能验证（2015）阿尔十四
18. 《验证框架》（2014年，阿萨德，阿萨赫勒；阿什哈恩认证框架）
19. Amighi，Afshin；Blom，Stefan；Darabi，Saeed；Huisman，Marieke；Mostowski，Wojciech；Zaharieva Stojanovski，Marina:验证VerCors的并发系统（2014年）
20. Besson，Frédéric；Blazy，Sandrine；Wilke，Pierre:使用符号值的C的精确抽象记忆模型（2014）