zbMATH中的参考文献（参考文献86篇)

1. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
2. 库克，拜伦；卡泽姆，卡里姆；丹尼尔·克罗宁；塔什兰，塞尔达尔；陶奇尼，迈克尔；Tuttle，Mark R.：来自AWS数据中心的模型检查引导代码（2021）
3. 哈杜，马尔顿；霍佐娃，佩特拉；科瓦茨，劳拉；肖斯沃尔，约翰内斯；沃龙科夫，安德烈：自动推理的归纳基准（2021）
4. 赫尔德曼，蒂姆；施耐德，托马斯；特卡琴科，奥列克桑德；韦内特，克里斯蒂安；Yalame，Hossein:基于LLVM的实用安全计算电路编译（2021）
5. Manthey，Norbert:The\textscMergeSatsolver（2021年）
6. 庞齐奥，巴勃罗；戈迪奥，阿里尔；罗斯纳，尼古拉斯；阿罗约，马塞洛；阿吉尔，拿撒勒诺；Frias，Marcelo F.：使用紧字段边界对堆操作程序进行有效的有界模型检查（2021）
7. 亚伯特，亚历山德罗；贝萨，尤里；科尔代罗，卢卡斯；大卫，克里斯蒂娜；凯塞利，帕斯卡；丹尼尔·克罗宁；Polgreen，Elizabeth:连续装置可证明安全数字控制器的自动形式综合（2020）
8. 塞门诺夫，亚历山大；奥特普什尼科夫，伊利亚；格里巴诺娃，伊琳娜；扎金，奥列格；Kochemazov，Stepan:将离散函数的算法描述转换为SAT及其在密码分析问题中的应用（2020）
9. 特莱兹，加迪；Brotherston，James:用循环证明自动验证指针程序的时间属性（2020）
10. 王蒙；田聪；张楠；段振华；姚晨光：将Xd-C程序转换为MSVL程序（2020）
11. 艾哈迈德·布瓦贾尼；埃尼亚，康斯坦丁；Lahiri，Shuvendu K.：演化并发程序的抽象语义差异（2019）
12. 王蒙；田聪；张楠；段振华；杜宏伟：验证安全关键系统的调度协议（2019）
13. 拜尔，德克；丹格尔，马提亚斯；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
14. 拜尔，德克；古尔瓦尼，苏米特；Schmidt，David A.：结合模型检查和数据流分析（2018）
15. 贝尔，阿明；Daniel Kröning:基于SAT的模型检查（2018）
16. 曹操、秦翔；贝林格，伦纳德；格鲁特，塞缪尔；多德，约西亚；Appel，Andrew W.：VST Floyd:验证C程序正确性的分离逻辑工具（2018）
17. 查维斯，列侬；贝萨，尤里；科尔代罗，卢卡斯；Daniel Kroneing:DSValidator:数字系统的自动反例再现性工具（2018）
18. 鸭子，格雷戈里J。；贾法尔，约森；Yap，Roland H.C.：基于图的数据结构的形状中性分析（2018）
19. 古斯穆勒，马里恩；科罗娜，加布里埃尔；Quinson，Martin:遗留分布式应用正式动态验证的系统级状态平等检测（2018）
20. Kurshan，Robert P.：模型检验向工业实践的转移（2018）