基于SMT的混合系统验证 作者 亚历山德罗·西马蒂 布鲁诺·凯斯勒基金会 塞尔吉奥·莫弗 布鲁诺·凯斯勒基金会 斯特凡诺·托内塔 布鲁诺·凯斯勒基金会 内政部: https://doi.org/10.1609/aaai.v26i1.8442 关键词: SMT、基于SMT的验证、混合自动机网络、消息序列图、有界模型检查、k归纳 摘要 混合自动机网络(HAN)是一种建模复杂嵌入式系统的强大形式。本文综述了可满足性模理论(SMT)在HAN分析中应用的最新进展。SMT可以被视为布尔可满足性(SAT)的扩展形式,其中文字是根据背景理论(例如线性算术)进行解释的。HAN可以用SMT公式进行符号表示,并将基于SAT的传统模型检测算法推广到SMT情况进行分析。 下载 PDF格式 出版 2021-09-20 如何引用 Cimatti,A.、Mover,S.和Tonetta,S.(2021)。基于SMT的混合系统验证。AAAI人工智能会议记录,26(1), 2100-2105. https://doi.org/10.1609/aai.v26i1.8442网址 更多引文格式 ACM公司 ACS公司 亚太地区 澳大利亚北卡罗来纳州 芝加哥 哈佛 电气与电子工程师协会 MLA公司 图拉宾语 温哥华 下载引文 尾注/佐特罗/门德利(RIS) BibTeX公司 问题 第26卷第1期(2012):第26届AAAI人工智能会议 章节 聚光灯