{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T17:15:18Z”，“时间戳”：1694625318385}，“参考-计数”：40，“出版商”：“电气与电子工程师学会（IEEE）”，“问题”：“3”，“许可证”：[{“开始”：{-日期-部件“：[[2006,3,1]]，”日期-时间“”：“2006-03-01T00:00:00Z”，“timestamp”：1141171200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”ieee Trans.Compute.-Aided Des.Integr.Circuits Syst.“]，”published-print“：{“date-parts”：[[2006,3]]}，“DOI”：“10.1109\/tcad.2005.854638”，“type”：“journal-article”，“created”：{”date-part“：[[2006，2,21]]，“date-time”：“2006-02-21T16:15:04Z”，“timestamp”：1140538504000}，”page“：”403-412“，”source“：“Crossref”，“is-referenced-by-count”：9，“title”：[“带故障定向抽象的定时电路的验证”]，“前缀”：“10.1109”，“卷”：“25”，“作者”：[{“家族”：“郝政”，“序列”：“第一”，“从属关系”：[]}，{“给定”：“C.J.”，“家族”:“迈尔斯”，“顺序”：“附加”，“附属关系”：[]}、{“给出”：“D.”，“家庭”：“沃尔特”，“次序”：“额外”，“隶属关系”：【】}，}“给定的”：“S”，“家人”：“小”，“序号”：“其他”，“归属关系”：“[]}.”，{“given”：“T.”，“family”：“Yoneda”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref39”，“author”：“yoneda”，“year”：“2003”，“journal-title”：“Synthesizing timed circuits from high level specification languages”}，{“key”：”ref38“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICCD.1997.628881”}、{“key”：“ref33”，“doi-asserted-by”：”crossref“doi“”：“10.1023\/A:1008682131325”，“article-title”：“并行实时系统的有效验证”，“author”：“yoneda”，“year”：“1997”，“journal-title“：“系统设计中的形式化方法”}，{“key”：“ref32”，“first page”：《468》，“artice-title：“Proc-In-Conf计算机辅助验证”}，{“key”：“ref31”，“author”：“dill”，“year”：“1989”，“journal-title”：“Self-Timed Queues的规范和自动验证”}，{”key“：”ref30“，”author“：”ramchandani“，”year“：”1974，“article-title”：“时间petri网中改进的偏序集定时分析”，“author”：“mercer”，“year”：“2001”，“journal-tittle”：“Proc Workshop Synthesis and Systems Integration of Mixed Technologies（SASIMI）”}，{“key”：”ref36“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/370155.370379“}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/43.845076”}，{“key”：”ref10“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/ASYNC.1999.761527“}，”key“：”ref40“，”doi-asserte-by“：”publisher“，”DI:“10.1109//ASYNC.2005.22”}：“publisher”，“doi”：“10.1109\/TSE.1981.230844”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/69575.69577”}，{“key”：“ref13”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1145\/177492.177725“}，}“key:”ref14“，”first page“：”440“，”article-title“：”you assume，we guarantee:methodology and case studies“，”author“：”henzinger“，”year“：”1998“，”journal-title”：“Proc Int Conf Computer-Aided Verification”}、{“”键“：”参考15“，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0167-6423（99）00030-1”}，{“key”：“ref16”，“first page”：”191“，“article-title”：“stari:成分和层次计时验证的案例研究”，“volume”：《1254》，“author”：“tasiran”，《year》：“1997”，“journal-title》：“International Conference on Computer-Aided verification”}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/186025.186051”}，{“key”：“ref18”，“doo-asserted-by”：”publisher“，”doi“：”10.1145\/244795.244800“}，“key“：”ref19“，”doi-assert-by“：”publiser“，“doi:”10.1109\/43.905681“}“，”卷“：”65“，”作者“：“m\u00f6ller-moller”，“year”：“2002”，“journal-title”：“Electron Notes Theor Compute Sci”}，{“key”：“ref4”，“first page”：《179》，“article-title》：“timed automata符号验证的一些进展”，“volume”：”1254“，“author”：“bozga”，“年份”：“1997”，“日记标题”：“计算机辅助验证国际会议”}：“103”，“文章标题”：“自动验证接口的时间安全属性”，“卷”：“2057”，“作者”：“球”，“年份”：“2001”，“期刊标题”：“SPIN Workshop”}，｛“key”：“ref3”，“doi asserted by”：“publisher”，“doi”：“10.1109\/43.275352”｝，｛“key”：“ref6”，“首页”：“271”，“文章标题”：“时钟差图”，“卷”：“6”，“作者”：“larsen”，“year”：“1999”，“journal-title”：“Nordic J Computing”}，{“key”：“ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TCAD.2003.816214”}蒂尔”：“使用部分命令改进自动验证方法”，“卷”：“531”，“作者”：“godefroid”，“年份”：“1990年”，“新闻标题”：“计算机辅助验证国际会议”}，{“key”：“ref7”，“首页”：“156”，“文章标题”：”对国家爆炸的顽固攻击“，”卷“：”531“，”作者“：”valmari“，”年份“：”1990年“，”新闻标题“：“计算机辅助验证国际会议”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/4.902762”}le-title“：“定时系统的部分降阶”，“author”：“bengtsson”，“year”：“1998”，“journal-title”：“Int-Conf并发理论”}，{“key”：“ref20”，“first page”：”331“，“article-title“：”成分验证的学习假设“，”volume“：”2619“，”author“：”jensen“，”year“2003，“author”：“dill”，“year”：“1989”，“journal-title”：“速度相关电路自动分层验证的跟踪理论”，“DOI”：“10.7551\/mitpress\/6874.001.0001”}，{“key”：“ref21”，“first-page”：“19”，“article-title：“2000”，“journal-title”：“实时容错系统中的程序形式化技术（FTRTFT 98）”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/503272.503279”}al标题“：“软件分析的模型和过程”}，{“key”：“ref25”，“first page”：：“72”，“article-title”：“用pvs构造抽象状态图”，“volume”：”1254“，“author”：“graf”，“year”：“1997”，“journal-title“：”Proc-Conf Computer Aided Verification“}]，“containertle”：[“IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/43\/33596\/01597377.pdf？arnumber=1597377”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[2021,11,29]]，“日期-时间”：“2021-11-29T15:40:02Z”，“时间戳”：163820 0402000}，“分数”：1，“资源”用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/1597377\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2006,3]]}，”references-count“：40，”日志问题“：{”问题“：”3“}，（URL）：“http://\\/dx.doi.org\/10.109\/tcad.20054638”，“relation”：{}，“ISSN”：[“0278-0070”]，“ISSN-type”：[{“value”：“0278.0070”，“type”:“print”}]，“subject”：【】，“已发布”：｛“日期部分”：[[2006,3]]｝｝