zbMATH中的参考文献（参考 479篇文章 参考，1标准件)

1. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
2. Bayless，Sam；Kodirov，Nodir；Iqbal，Syed M.；Beschatnikh，Ivan；Hoos，Holger H.；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020年）
3. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
4. Bersani，Marcello M.；Rossi，Matteo；San Pietro，Pierluigi:关于定时形式时钟的初始化（2020）
5. Bohlender，Dimitri；Kowalewski，Stefan:利用Horn子句解决PLC软件的组合验证（2020）
6. Bromberger，Martin；Sturm，Thomas；Weidenbach，Christoph：线性整数求解的一种完整的终止方法（2020）
7. 芬克贝纳，伯恩德；哈恩，克里斯托弗；卢克特，菲利普；斯坦格，马文；坦特鲁普，利安德：从超属性合成（2020）
8. García Soto，Miriam；Prabhakar，Pavithra:基于抽象的多面体交换系统稳定性验证（2020）
9. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
10. 黄成超；徐明；李志斌：一种基于冲突驱动的电力约束解决方法（2020）
11. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗曼；里涅茨基，诺姆：利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020年）
12. 李嘉图，培尼亚：用Dafny证明红黑树（2020）
13. 秦旭东；Bliudze，Simon；Madelaine，Eric；侯泽晨；邓宇欣；张敏：基于SMT的符号自动机生成（2020）
14. 自动化调控模块（Barteczyn，Wiléczyna，2020；使用明确的调控网络）
15. 塞巴斯蒂安尼，罗伯托；特伦丁，帕特里克：\textsoptimathsat：优化模理论的工具（2020）
16. Semenov，Alexander；Otpuschennikov，Ilya；Gribanova，Irina；Zaikin，Oleg；Kochemazov，Stepan：将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用（2020年）
17. Suenaga，Kohei；Ishizawa，Takuya:混合动力系统的广义属性导向可达性（2020）
18. 张楠；段振华；田聪；杜宏伟：验证程序上下文无关属性的新方法（2020）
19. Allamigeon，Xavier；Katz，Ricardo D.：基于单纯形法的凸多面体形式化（2019）
20. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）