zbMATH中的参考文献（参考文献26条)

1. 波扎诺，马可；亚历山德罗·西马蒂；加里奥，马可；琼斯，大卫；Mattarei，Cristian:xSAP三模块发电机的基于模型的安全评估（2021）
2. 吉尔迪，西尔维奥；帕加尼，埃琳娜：高阶量词消除，计数器模拟和容错系统（2021）
3. 波伦德，迪米特里；Kowalewski，Stefan:利用Horn条款解决PLC软件的组成验证（2020）
4. 亚历山德罗·西马蒂；格里吉奥，阿尔伯托；麦格纳戈，恩里科；罗维里，马可；Tonetta，Stefano:基于SMT的事件冻结函数和度量算子的一阶LTL满意度（2020）
5. 李建文；普格光；张月玲；瓦迪，摩舍。；Rozier，Kristin Y.：基于SAT的显式（\mathsfLTL_f）满意度检查（2020）
6. 卢滕伯格，迈克尔；梅耶，菲利普J。；Sickert，所罗门：通过平价博弈从LTL规范实际合成反应系统（2020）
7. 秦旭东；傻了，西蒙；马德兰，埃里克；侯泽臣；邓玉欣；张敏：基于SMT的符号自动机生成（2020）
8. 波扎诺，马可；亚历山德罗·西马蒂；Mattarei，Cristian:冗余架构的形式可靠性分析（2019）
9. 吉阿蒂，卢卡；吉甘特，尼古拉；Angelo Montanari:LTL的基于SAT的单通树形画面系统编码（2019）
10. 李建文；朱淑芳；普格光；张丽君；Vardi，Moshe Y.：基于SAT的显式LTL推理及其在可满足性检验中的应用（2019）
11. 特伦丁，帕特里克；塞巴斯蒂安尼，罗伯托：浮点数理论的优化模（2019）
12. 本迪克，雅罗斯拉夫；乔尔纳，伊凡纳：最小不满足子集计数的领域不可知论方法评估（2018）
13. 亚历山德罗·西马蒂；德玛西，拉米罗；托内塔，斯特凡诺：加强系统架构的合同细化（2018）
14. 亚历山德罗·西马蒂；格里吉奥，阿尔伯托；艾哈迈德·伊尔凡；罗维里，马可；Sebastiani，Roberto:可满足性的增量线性化与验证模非线性算法与超越函数（2018）
15. 劳科，亨利克；罗查凯，彼得；Barnat，Jiří：通过程序转换进行符号计算（2018）
16. 卡波迪，G。；卡穆拉，体育。；米什琴科，A。；帕莱纳，M。；Pasini，P.：IC3中的SAT解算器管理策略：实验方法（2017）
17. 亚历山德罗·西马蒂；格里吉奥，阿尔伯托；艾哈迈德·伊尔凡；罗维里，马可；Sebastianini，Roberto:通过使用EUF将LRA增量还原为LRA，对NRA过渡系统进行不变检查（2017）
18. 康诺夫，伊戈尔；拉齐奇，马里亚纳；维思，赫尔穆特；Widder，Josef:（\textPara^2）：阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT（2017）
19. 斯皮尔卡，马金；Jasiul，Bartosz:用Petri网评估网络安全和风险传播建模（2017）
20. 亚历山德罗·西马蒂；格里吉奥，阿尔伯托；搬运工，塞尔吉奥；与无限状态无关的检查（2016）