zbMATH参考文献（79篇文章引用，1标准件)

1. 黄艳红；庞海平；施建起：基于CSP的OSEK/VDX操作系统定时保护机制的建模与验证（2020）
2. Zhang，Xingyuan；Urban，Christian；Wu，Chunhan：优先继承协议被证明是正确的（2020年）
3. Barthe，Gilles；Betarte，Gustavo；Campo，Juan Diego；Luna，Carlos：恒定时间密码的系统级非干扰。一： 模型（2019）
4. 米勒，戴尔：重温机械化元理论（2019）
5. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
6. Rahli，Vincent；Bickford，Mark；Cohen，Liron；Constable，Robert L.：酒吧归纳法与建构型理论兼容（2019）
7. Straßburger，Lutz：证明身份的问题，以及为什么计算机科学家应该关心Hilbert的第24个问题（2019）
8. Achermann，Reto；Humbel，Lukas；Cock，David；Roscoe，Timothy：《Isabelle/HOL真实硬件的物理寻址》（2018）
9. Alex A.Alemi，Francois Chollet，Niklas Een，Geoffrey Irving，Christian Szegedy，Josef Urban:DeepMath-前提选择的深度序列模型（2018）阿尔十四
10. Avigad，Jeremy（编辑）；Blanchette，Jasmin Christian（编辑）；Klein，Gerwin（编辑）；Paulson，Lawrence（编辑）；Popescu，Andrei（编辑）；Sneling，Gregor（编辑）：“交互定理证明中的里程碑”简介（2018）
11. 班切雷克，格尔泽戈尔茨；拜利林斯基，捷克；格拉博夫斯基，亚当；科尼奥维茨，阿图尔；马图斯泽夫斯基，罗曼；诺莫维奇，亚当；Pąk，卡罗尔：米扎尔互动证据开发数学图书馆的作用（2018）
12. Bauereiß，Thomas；Pesenti Gritti，Armando；Popescu，Andrei；Raimondi，Franco:CoSMed:a Secretified verified social media platform（2018年）
13. 陈浩；吴雄楠；邵忠忠；洛克曼，乔舒亚；顾荣辉：面向可中断操作系统内核和设备驱动程序的组合验证（2018）
14. 软件开发：彼得·施莱德（Peter Principle，Müer ed.）；软件开发。在海夫特60岁生日之际为他写的文章。2018年11月，德国凯斯劳滕研讨会论文精选
15. Nemati，Hamed；Baumann，Christoph；Guanciale，Roberto；Dam，Mads：针对缓存存储侧通道的完整性保护对策的正式验证（2018年）
16. Paulson，Lawrence C.：计算逻辑：它的起源和应用（2018）
17. Syeda，Hira Taqdees；Klein，Gerwin：存在缓存地址转换的程序验证（2018）
18. Aransay，Jesús；Divasón，Jose:线性代数基本定理的形式化及其在最小二乘问题求解中的应用（2017）
19. Guéneau，Armaël；Myreen，Magnus O.；Kumar，Ramana；Norrish，Michael:CakeML的验证特征公式（2017）
20. Hales，Thomas；Adams，Mark；Bauer，Gertrud；Dang，Tat Dat；Harrison，John；Hoang，Le Truong；Kaliszyk，Cezary；Magron，Victor；McLaughlin，Sean；Nguyen，Tat Thang；Nguyen，Quang Truong；Nipkow，Tobias；Obua，Steven；Pleso，Joseph；Rute，Jason；Solovyev，Alexey；Ta，Thi Hoai An；Tran，Nam Trung；Trieu，Thi Diep；Urban，Josef；Vu，Ky；Zumkeller，罗兰：开普勒猜想的形式化证明（2017）