ZBMaCT中的参考文献（65篇文章中引用）

1. Barthe，吉尔斯；贝塔特，古斯塔沃；坎波，朱安迭戈；Luna，卡洛斯：系统级不干扰恒时密码学。I:模型（2019）
2. 贝松，Fr.E.DeeRic；Brasy，Sandrine；Wikk，彼埃尔：一个支持指针算法和未初始化数据的内存模型验证的前端（2019）
3. Menghi，克劳迪奥；Spoletini，葆拉；切契克，玛莎；Ghezzi，Carlo：一种验证驱动的控制器迭代设计框架（2019）
4. Dailler，西尔文；豪扎尔，戴维；Maulee，克劳德；Moy，YANNICK：为反例生成最弱的前提条件微积分（2018）
5. Dinsdale Young，托马斯；da Rocha Pinto，佩德罗；加德纳，Philippa：指定和验证并发模块的观点（2018）
6. KN Puppl，亚力山大；Thμm，托马斯；PAREDLA，Carsten Immanuel；舍费尔，INA：理解演绎验证的参数：KEY（2018）的实证研究
7. 萨默斯，Alexander J.；Mü勒，彼得：弱记忆程序的自动演绎验证（2018）
8. Rigu，Gigig:匹配逻辑（2017）
9. Jean Christophe、贡德曼、勒昂、Paskevich、安德列：鬼魂精神（2016）
10. 雅可布，Bart；沃格尔斯，弗雷德里克；皮森，弗兰克：羽量级砝码（2015）
11. 基什内尔，Florent；Kosmatov，尼古莱；普雷沃斯，维吉尔；符号，朱利安；Yakobowski，鲍里斯：FrAMA－C：软件分析透视（2015）伊波尔特
12. 莱诺，K. Rustan M.；卢西奥，Paqui：自然合并的稳定性和正确性的断言证明（2015）
13. Nemati，HAMED；GuangalALE，罗伯托；大坝，MADS: ARMV7存储子系统的可信虚拟化（2015）伊波尔特
14. 奥赫恩，Peter W.；彼得森，拉斯姆斯L.；维拉德，朱勒；侯赛因，阿克巴：关于同时分离逻辑与并发KLeNe代数的关系（2015）
15. 格里戈雷，从改写逻辑，到程序语言语义，到程序验证（2015）
16. Tschannen，J；Fura，CA；Norddio，M.；Polikarpova，N:自动验证：面向对象程序的自动主动功能验证（2015）阿西夫
17. Alkassar，艾哈德；B·休姆，Sascha；梅霍恩，库尔特；里兹卡拉，克里斯汀：验证计算验证的框架（2014）
18. 阿米吉，阿夫辛；布洛姆，斯特凡；Darabi，赛义德；Huisman，Marieke；莫斯多夫斯基，沃吉切克；Zaharieva Stojanovski，玛丽娜：用ViCORs验证并发系统（2014）
19. 贝松，Fr.E.DeeRic；Brasy，Sandrine；Wikeland彼埃尔：用符号值（2014）对C的精确抽象记忆模型（英文）
20. 多姆，马蒂亚斯；计费，尼尔森；克莱因，格温：与无特权有关：内核精化中的用户程序（2014）