zbMATH参考文献（参考 77篇文章

1. Alessandro Abate；Iury Bessa；Cordeiro，Lucas；David，Cristina；Kesseli，Pascal；Kroneing，Daniel；Elizabeth Polgreen：连续装置可证明安全数字控制器的自动形式综合（2020年）
2. Semenov，Alexander；Otpuschennikov，Ilya；Gribanova，Irina；Zaikin，Oleg；Kochemazov，Stepan：将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用（2020年）
3. Tellez，Gadi；Brotherston，James:用循环证明自动验证指针程序的时间属性（2020）
4. 王蒙，田，丛，张，南，段，振华，姚晨光：将Xd-C程序翻译成MSVL程序（2020）
5. Bouajjani，Ahmed；Enea，Constantin；Lahiri，Shuvendu K.：演化并发程序的抽象语义差异（2019）
6. Beyer，Dirk；Dangl，Matthias；Wendler，Philipp:基于SMT的软件验证的统一观点（2018）
7. Beyer，Dirk；Gulwani，Sumit；Schmidt，David A.：结合模型检查和数据流分析（2018）
8. Biere，Armin；Kröning，Daniel:基于SAT的模型检查（2018）
9. Cao，Qinxiang；Beringer，Lennart；Gruetter，Samuel；Dodds，Josiah；Appel，Andrew W.：VST Floyd：验证C程序正确性的分离逻辑工具（2018）
10. Chaves，Lennon；Bessa，Iury；Cordeiro，Lucas；Kroneing，Daniel:DSValidator:数字系统的自动反例再现性工具（2018）
11. Guthmuller，Marion；Corona，Gabriel；Quinson，Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测（2018）
12. Kurshan，Robert P.：模型检验向工业实践的转移（2018）
13. 劳科，亨里希；罗凯，佩特；巴纳特，吉ří：通过程序转换的符号计算（2018）
14. 杨凯；段振华；田聪；张楠：MSVL编译器及其应用（2018）
15. 2017年Brazeo和Brazeo项目；Brand effect；Brand effect
16. Büscher，Niklas；Franz，Martin；Holzer，Andreas；Veith，Helmut；Katzenbeisser，Stefan:关于编译为安全多方计算优化的布尔电路（2017）
17. ýerný，Pavol；Clarke，Edmund M.；Henzinger，Thomas A.；Radhakrishna，Arjun；Ryzhyk，Leonid；Samanta，Roopsha；Tarrach，Thorsten:使用同步合成从非抢占到抢占调度（2017）
18. Chakraborty，Supratik；Gupta，Ashutosh；Jain，Rahul:位向量公式中的匹配乘法（2017）
19. Chihani，Zakaria；Marre，Bruno；Bobot，François；Bardin，Sébastien:位向量理论的约束编程方法（2017）
20. Demyanova，Yulia；Pani，Thomas；Veith，Helmut；Zuleger，Florian：验证工具基准的经验软件度量（2017）