{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T09:57:35Z”，“时间戳”：1725789455157}，“引用计数”：35，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-发布int“：{“date-parts”：[[2013,9]]}，“DOI”：“10.1109\/emsoft.2013.6658592”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2013,11,21]]，“date-time”：“2013-11-21T15:52:14Z”，“timestamp”：1385049134000}，“page”：”1-10“，“source”:“Crossref”，“is-referenced-by-count”：11，“title”：[“time-aware relational abstrations for hybrid systems”]，“prefix”：“10.109”，“volume”：：“31”，“author”：[{“给定”：“塞尔吉奥”，“家族”：“Mover”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Cimatti”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Ashish”，“家庭”：“Tiwari”，“顺序”：“附加”，“隶属关系”：[]}“263”，“引用”：[{“键”：“19”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1996.561342”}，{“key”：“35”，“首页”：“343”，“article-title”：“采样数据控制系统的时间关系抽象”，“author”：“zutshi”，”year“：”2012“，”journal-title“：”CAV“}，”{“key”：”17“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/87.974337“}”，{”key：“18”，“首页”：“379”，“文章标题”：“SpaceEx:混合系统的可扩展验证”，“author”：“frehse”，“year”：“2011”，“journal-title”：“CAV”}，{“key”：“33”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-31424-7_56”}“首页”：“600”，“文章标题”：“非线性系统：近似可达集”，“author”：“tiwari”，“year”：“2004”，“journal-title”：“HSCC”}，{“key”：“16”，“doi-asserted-by”：“crossref”，“first-page”：“2”，“doi”：“10.1145\/261320.261324”“}，{”键“：“13”，“doi-asserted-by”：“publisher”，“doi”：“10.1142\/S012905410300190X”}，{“key”：“14”，“first page”：”14“，“article-title”：“有界模型检查和归纳：从反驳到验证”，“author”：“de moura”，”year“：”2003“，”journal-title“：”CAV“}，“key“：”11“，”first pages“：”187“，”article-title“：“非线性混合自动机的无量词SMT编码”，“author”：“cimatti”，“year”：“2012”，“journal-title”：“FMCAD”}，{“key”：“12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-012-0158-0”}：“hilscher”，“key”：“21”｝，｛“key”：“20”，“doi asserted by”：“publisher”，“doi”：“10.1007\\s100090050008”｝，｛“key”：“22”，“首页”：“157”，“文章标题”：“广义属性定向可达性”，“作者”：“hoder”，“年份”：“2012”，“期刊标题”：“SAT”｝，｛“key”：“23”，“首页”：“339”，“文章标题”：“求解非线性算术”，“作者”：“jovan ovic”，“年份”：“2012”，“journal-title”：“IJCAR”}，{“key”：“24”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/jsco.2001.0472”}，{“key”：“27”，“首页”：“477”，“文章标题”：“使用屏障证书对混合系统进行安全验证”，“author”：“prajna”，“year”：“2004”，“journal-title”：“HSCC”}，{“key”：“28”，“first-page”：“686”，“article-title“：“continuous and hybrid systems的关系抽象”，“作者”：“sankaranarayanan”，“年份”：“2011”，“日记标题”：“CAV”}、{“密钥”：“29”，“首页”：“108”，“文章标题”：“使用归纳法和SAT解析器检查安全属性”，“author”：“sheeran”，“year”：“2000”，“journal-title”：“FMCAD”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1132357.1132363”}，“doi”：“10.1109\/SEAA.2011.49”}，{“密钥”：“1”，“首页”：“396”，“article-title”：“优化线性混合系统的有界模型检查”，“author”：“a？braha？m”，“year”：“2005”，“journal-title“：”VMCAI“}，{“key”：“30”，“first-page”：“2002”，“article-title”：“定时自动机的有界模式检查”：“理论计算机科学中的电子笔记”}，{“journal-title”：“计算的微积分-应用于验证的决策程序”，“year”：“2007”，“author”：“bradley”，“key”：“7”}：“32”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-007-0044-3”}，{“key”：“5”，“首页”：“825”，”article-title“：“可满足模理论”，“author”：“barrett”，“year”：“2009”，“journal-title”：“可满意手册”}，{“key”：“4”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/j.entcs.2004.12.022”}，{“key”：“9”，“首页”：“277”，“article-title”：“通过IC3检查软件模型”，“author”：“cimatti”，“年份”：“2012”，“日记标题”：“CAV”}00a0嵌入式\u00a0软件会议（EMSOFT）“，”开始“用法：{“date-parts”：[[2013,9,29]]}，“location”：“Montreal，QC，Canada”，“end”：{”date-part“：[[2013，10,4]]}}，”container-title“：[”2013年嵌入式软件国际会议论文集（EMSOFT）“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/6648479\/665572\/06658592.pdf？arnumber=66588592.pdf 592“，”内容类型“：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,22]]，“date-time”：“2017-06-22T02:54:00Z”，“timestamp”：1498100040000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/6658592\/”}，”subtittle“[]，”short标题“：[]，”已发布“：{“日期部分”：[[2013,9]]}，“引用次数”：35，“URL”：“http:\/\/dx.doi.org/10.1109\/emsoft.2013.6658592”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2013,9]]｝｝｝