zbMATH中的参考文献（参考文献71篇文章)

1. 库克，拜伦；卡泽姆，卡里姆；丹尼尔·克罗宁；塔什兰，塞尔达尔；陶奇尼，迈克尔；Tuttle，Mark R.：来自AWS数据中心的模型检查引导代码（2021）
2. 不，耶；Strichman，Ofer:使用最优算法组合实时解决计算困难问题（2021）
3. 拉姆雷奇，莱恩；Sivilotti，Paolo A.G.：使用RESOLVE框架对Java组件的形式化验证（2021）
4. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
5. 尼尔，丹尼尔；马杜苏丹，P。；萨哈，Shambwaditya；加格，普拉纳夫；Park，Daejun：基于学习的不完全验证引擎不变量合成方法（2020）
6. 巴瑟，吉尔；贝塔特，古斯塔沃；坎波，胡安·迭戈；Luna，Carlos:恒定时间密码的系统级不干扰。一： 模型（2019）
7. 贝松，弗里德里克；布莱兹，桑德琳；威尔克，皮埃尔：支持指针算法和未初始化数据的内存模型的验证CompCert前端（2019）
8. 孟吉，克劳迪奥；斯波莱蒂尼，保拉；玛莎契克；Ghezzi，Carlo:控制器迭代设计的验证驱动框架（2019）
9. 戴勒，西尔文；哈撒，大卫；三月，克劳德；Moy，Yannick:为反例生成提供最弱的先决条件演算（2018）
10. 丁斯代尔·杨，托马斯；达罗查平托，佩德罗；Gardner，Philippa:A perspective on specifying and Verification concurrent Module（2018年），Philippa Gardner:A perspective on specifying and Verification concurrent modules（2018年）
11. 克努佩尔，亚历山大；图姆，托马斯；帕迪拉，卡斯滕·伊曼纽尔；Schaefer，Ina:理解演绎验证的参数：key的实证调查（2018）
12. 萨默斯，亚历山大J。；Müller，Peter:弱记忆程序的自动演绎验证（2018）
13. Roşu，Grigore:匹配逻辑（2017）
14. 菲利特，让·克里斯托夫；冈德曼，莱昂；安德烈·帕斯凯维奇：《幽灵密码》（2016）
15. 曼德里金，麻省理工大学。；Khoroshilov，A.V.：C程序演绎验证的区域分析（2016）
16. 雅各布斯，巴特；福格尔斯，弗里德里克；Piessens，Frank:羽量级VeriFast（2015）
17. 基什内尔，弗洛伦特；科斯马托夫，尼古拉；普雷沃斯托，处女座；西诺尔斯，朱利安；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
18. 莱诺，K.鲁斯坦M。；Lucio，Paqui:Natural Mergesort稳定性和正确性的断言证明（2015）
19. 内马蒂，哈米德；瓜夏尔，罗伯托；Dam，Mads:ARMv7内存子系统的可信虚拟化（2015）ioport公司
20. 奥赫恩，彼得W。；彼得森，拉斯穆斯L。；维拉德，朱尔斯；Hussain，Akbar:关于并发分离逻辑与并发Kleene代数的关系（2015）