{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T04:08:10Z”，“时间戳”：1725682090479}，“引用计数”：31，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2009,11]]}，“DOI”：“10.1109\/fmcad.2009.5351149”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2009,12,11]]，“date-time”：“2009-12-11T13:55:16Z”，“timestamp”：1260539716000}，“page”：：“9-16”，“source”：：[{“给定”：“Alessandro”，“family”：“Cimatti”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jori”，“家族”：“Dubrovin”，“serquence”:“additional”，“filiation“：[]{”，{”given“：”Tommi“，”family“：”Junttila“，”sequence“：”additional]，“成员”：“263”，“引用”：[{“doi-asserted-by”：“publisher”，“key”：“19”，“doi”：“10.1109\/ICCAD.2004.1382631”}，{“年份”：“0”，“密钥”：“17”}}，{“年份”：“1995”，“作者”：“ranjan”，“journal-title”：“Proc-Int Workshop Logic Synthesis”，“article-title“：“用于FSM合成和验证的高效BDD算法”，“key”：“16”}，{“doi-asserted-by”：“publisher”，“key”：”13“，“doi”：“10.1007\/s100090050008”}内政部“：“10.1016\/0304-3975（94）00202-T”}，{“doi-asserted-by”：“publisher”，“key”：“12”，“doi”：“10.1109\/32.489079”}：“用于模型检查的混合BDD和All-SAT方法”，“key”：“20”}，{“年份”：“0”，“密钥”：“22”}“key”：“26”，“首页”：“570”，“文章标题”：“SATABS:ANSI-C基于SAT的谓词抽象”，“volume”：“3440”，“author”：“clarke”，“year”：“2005”，“journal title”：“ser-LNCS”}，｛“key”：“27”，“first page”：“433”，“article title”：“用于步进离散线性混合模型的模型检查的？-自动机的抽象和反例引导构造”，“volume”：“4590”，“author”：“segelken”，“year”：“2007”，“journal-title”：“ser LNCS”}，{“key”：“28”，“首页”：“107”，“文章-标题”：“实时系统基于卫星的抽象求精”，“卷”：“182”，“作者”：“kemper”，“年份”：“2007”，“johnal-title:”ENTCS“}，”doi-asserted-by“：”publisher“，”key“：”29“，”doi“：”10.1007\/s10703-007-0044-3“}键“：”3“，”doi“：“10.1145\/1403375.1403578”}，{“doi-asserted-by”：“publisher”，“key”：“2”，“doi”：“10.145\/10655579.1065697”}“：”0“，”key“：”30“}，{”doi-asserted-by“：”publisher“，”密钥“：”7“，”doi“：“10.1109 \/FAMCAD.2007.35”}，{“年份”：“0”，“键”：“6”}：“9”，“doi”：“10.1145\/1132357.1132363”}，{“doi-asserted-by”：“publisher”，“key”：“8”，“DOI”：“10.1007\/s100090050046”}]，“event”：{“name”：“2009计算机辅助设计（FMCAD）中的形式化方法”，“start”：{“date-parts”：[[2009,11,15]]}，“location”：“Austin，TX，USA”，“end”：}“date-parts”：[2009,11,18]}}，”container-title“：[”2009计算机辅助设计中的形式主义方法“]，”原文标题“：[]，”链接“：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351149.pdf？arnumber=5351149”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,18]]，“date-time”：”2017-03-18T22:09:14Z“timestamp”：1489874954000}，“score”：1，“resource”：{“primary”（主要）:{“URL”（URL）：“http://\/ieeexplore.iee.org\/document\/5351149\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2009,11]]}，”引用计数“：31，”URL“：”http://\/dx.doi.org\/10.109\/fmcad.2009.5351149“，”关系“：{}”，“主题”：[]]，“发布”：}“日期部分”：[2009,11]}}}}