{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T12:41:39Z”，“时间戳”：1725453699107}，“引用计数”：21，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2014,12]]}，“DOI”：“10.1109 \/mtv.2014.21”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2015,4,16]]，“date-time”：“2015-04-16T19:17:33Z”，“timestamp”：1429211853000}，“page”：，“卷”：“27”，“作者”：[{“给定”：“卢卡”，“家族”：“查瓦特”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“亚历克斯”，“家庭”：“Smrcka”，“sequence”：“附加”，“affiliation”：[]}10“，”文章标题“：“使用带不变量的区间属性检查进行无限协议符合性验证”，“卷”：“27”，“作者”：“ngyuen”，“年份”：“2008”，“日志标题”：“IEEE集成电路计算机辅助设计汇刊”}，{“密钥”：“ref11”，“首页”：“126”，“文章标题”：，“author”：“clarke”，“year”：“2006”，“journal title”：“LNCS”}，｛“key”：“ref12”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-540-69738-1_22”}，｛“key”：“ref13”，“首页”：“476”，“文章title”：“All for the price of some（通过视图抽象进行参数化验证）”，“volume”：“7737”，“author”：“abdulla”，“year”：“2013”，“journal title”：“LNCS”}中，{“journal-title”：“CodAL体系结构描述语言”，“year”：“2013”，“key”：“ref14”}，{“key“：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DATE.2002.998247”}，“新闻标题”：“LNCS”}，{“key”：“ref17”，“first-page”：“337”，“article-title”：“Z3:高效SMT求解器”，“volume”：：“4963”，“author”：“moura”，“year”：“2008”，“journal-tittle”：，“article-title”：“Hades硬件验证工具”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DATE.2009.5090657”}，{“key”：“ref3”，“first-page”：“68”，“article-title”：“流水线微处理器控制的自动验证”，“volume”：”818“，“author”：“burch”，”year“：”1994“，”journal-title“：”LNCS“}：“行为合成中功能流水线的等价性检查”，“author”：“hao”，“year”：“2014”，“journal-title”：“DATE'14的进程”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICCAD.2011.6105403”}、{“密钥”：“ref8”，“首页”：“159”，“文章标题”：“自我一致性检查”，“卷”：“1166”，“作者”：“琼斯”，“年份”：“1996”，“日志标题”：“FMCAD'96”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MTV.2014.21”}第“：”129“，”文章标题“：“基于体系结构模型的处理器自动形式验证”，“author”：“kuhne”，“year”：“2010”，“journal-title”：“Proc FMCAD'10 IEEE”}，{“year“：“2013”，“key”：“ref20”，“article-title“：“Codasip Studio中的Codea2核心IP”}、{“article-title，“key”：“ref21”｝]，“event”：｛“name”：“2014第15届国际微处理器测试与验证研讨会”，“start”：｛“date parts”：[[2014,12,15]]｝，“location”：“Austin，TX，USA”，“end”：｛“date parts”：[[2014,12,16]]｝｝，“container title”：[“2014第15届国际微处理器测试与验证研讨会”]，“original title”：[]，“link”：[｛“URL”：“http://explorestaging.ieee.org/ielx7\/7087213\/7087214\/00787240.pdf？arnumber=7087240”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2017,3,24]，“日期时间”：“2017-03-24T18:15:10Z”，“时间戳”：1490379310000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/7087240\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2014,12]]}，”引用计数“：21，”URL“：”http://\/dx.doi.org\/10.109\/mtv.2014.21“，”关系“：{}，‘主题’：[]、‘发布’：{‘日期-部件’：[2014,12]]{}}}