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

1. Bohlender，Dimitri；Kowalewski，Stefan:利用Horn子句解决PLC软件的组合验证（2020）
2. Cimatti，Alessandro；Griggio，Alberto；Magnago，Enrico；Roveri，Marco；Tonetta，Stefano：基于SMT的带有事件冻结函数和度量运算符的一阶LTL满意度（2020）
3. Luttenberger，Michael；Meyer，Philipp J.；Sickert，Salomon：通过平价博弈从LTL规范中实际合成反应系统（2020年）
4. 秦旭东；Bliudze，Simon；Madelaine，Eric；侯泽晨；邓宇欣；张敏：基于SMT的符号自动机生成（2020）
5. Marco Bozzano；Cimatti，Alessandro；Mattarei，Cristian:冗余架构的形式可靠性分析（2019）
6. Geatti，Luca；Gigante，Nicola；Montanari，Angelo:LTL的基于SAT的单通树形表格系统编码（2019）
7. 李建文、朱淑芳、蒲葛光、张立军、瓦迪、莫舍Y:基于SAT的显性LTL推理及其在可满足性检验中的应用（2019）
8. 特伦丁，帕特里克；塞巴斯蒂安，罗伯托：浮点数理论的优化模（2019）
9. Bendík，Jaroslav；Ch erná，Ivana:对最小不满足子集计数的领域不可知论方法的评估（2018）
10. Cimatti，Alessandro；Demasi，Ramiro；Tonetta，Stefano：加强系统架构的合同细化（2018）
11. Cimatti，Alessandro；Griggio，Alberto；Irfan，Ahmed；Roveri，Marco；Sebastiani，Roberto:可满足性的增量线性化与验证模非线性算法与超越函数（2018）
12. 劳科，亨里希；罗凯，佩特；巴纳特，吉ří：通过程序转换的符号计算（2018）
13. Cabodi，G.；Camura，P.E.；Mishchenko，A.；Palena，M.；Pasini，P.：IC3中的SAT解算器管理策略：实验方法（2017）
14. Cimatti，Alessandro；Griggio，Alberto；Irfan，Ahmed；Roveri，Marco；Sebastiani，Roberto：通过EUF向LRA的增量缩减对NRA过渡系统进行不变检查（2017年）
15. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef:（\textPara^2）：阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT（2017）
16. 《网络安全传播与风险评估》（2017年版，网络安全评估）
17. Cimatti，Alessandro；Griggio，Alberto；Mover，Sergio；Tonetta，Stefano:用IC3和谓词抽象进行无限状态不变检查（2016）
18. De Maria，Elisabetta；Muzy，Alexandre；Gaffé，Daniel；Ressouche，Annie；Grammont，Franck：作为同步反应系统建模的神经元原型的时间特性验证（2016）
19. Konnov，Igor；Veith，Helmut；Widder，Josef：《关于容错分布式算法的模型检查，你一直想知道的》（2016）
20. Molnár，Vince；Vörös，András；Darvas，Dániel；Bartha，Tamás；Majzik，István:组件增量LTL模型检查（2016）