{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T13:39:45Z”，“时间戳”：1725457185975}，“引用计数”：38，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2009,7]]}，”DOI“：“10.1109 \/memcod.2009.5185392”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T15:09:22Z”，“timestamp”：1250003362000}，“page”：”161-170“，“source”：[{“给定”：“Jens”，“family”：“Brandt”，“sequence”：“first”，“affiliation”：[]}“：”“shiple”“key”“：”35“}，{”“密钥”“：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/321832.321835”}，{“key”：“36”，“doi-asserted-by”:“crossref”，”first page“：”346“，”doi“：”10.1007\/3-540-54415-1_54“，”article-title“：”作为模型检查的数据流分析“，”volume“：“526”，“author”：“steffen”，“year”：“1991”，“journal-title”：“计算机软件的理论方面（TAPS）”}，{“新闻标题”：“技术报告11”，“文章标题”：“迪斯科语言和动作的时间逻辑”，“年份”：“1990年”，“作者”：“ja？rvinen”，“key”：“18”}，{“密钥”：“33”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/996566.99602”}“，”doi-asserted-by“：”publisher“，”doi“：“10.1016\/0898-1221（81）90008-0”}，{“key”：“16”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512927.512946”}“，”作者“：“edwards”，“key”：“14”}，{“key“：“37”，“doi-asserted-by”：“crossref”，“first-pages”：“91”，“doi”：“10.1007\/3-540-44898-5_6”，“article-title”：“纯酯类的瞬时终止”，“volume”：”2694“，”author“：”tardieu“，”year“2003”，“journal-title“：”Static Analysis Symposium（SAS）“}”，{”key“:”11“，”doi-assert-by“：”publisher“，“内政部”：“10.1016\/S1571-0661（05）80443-8“}，{“key”：“38”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MEMCOD.2004.1459813”}，“{”key“：”12“，”doi-assert-by“：”crossref“，”首页“：”390“，”doi“：”10.1007\/3-540-61474-5_86“，”article-title“：”murphi验证系统“，”卷“：”1102“，”作者“：”dill“，”年份“：”1996“，”日记title“：”计算机辅助验证（CAV）“}，{”密钥“：”21“，”doi-asserted-by“：”crossref“，”first page“：”195“，“doi”：“10.1007\/BFb0031993”，“article-title”：“在电路上实现反应式程序：光泽的硬件实现”，“volume”：“600”，“author”：“rocheteau”，“year”：“1991”，“journal-title“：”Real-time Theory in Practice“}，{”key“：“20”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/MEMCOD.2003.1210107“}，{“key”：“22”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/359842.359849”}，“key“：”23“，”首页“：”205“，”article-title“：”酯类的验证硬件合成“，”author“：”schneider“，”年份“2000”，“journal-title”：“分布式和并行嵌入式系统（DIPES）研讨会”}“：”publisher“，”DOI“：”10.1109\/CSD.2001.981772“}，{“journal-title”：“利用时间逻辑有限自动机算术和？-有效验证反应系统的微积分中的层次结构”，“年份”：“2001”，“author”：“schneider”，“key”：“25”}，“keys”：“26”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-45653-8_3”}理论计算机科学文本（EATCS系列）”，“文章标题”：“反应系统的验证-形式化方法和算法”，“年份”：“2003”，“作者”：“schneider”，“密钥”：“27”}，{“期刊标题”：“计算机科学内部报告（即将出现）系”，“文章标题”：“同步编程语言石英”，“年份”：“2009”，“作者”：“schneider“，”key“：”28“}，{“key”：”29“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ACSD.2008.4574599“}、{“key”：“3”、“doi-assert-by”：“publisher”，“doi”：“10.1109\/JPROC.2002.805826”}，“{”key：“2 key“：”10“，”doi-asserted-by“：”crossref“，”first-page“：”391“，”doi“：”10.1007\/3-540-44585-4_39“，”article-title“：“taxys:实时嵌入式系统开发和验证的工具”，“author”：“closse”，“year”：“2001”，“journal-title”：“计算机科学课堂讲稿”}，{“journal-tittle”：“编译器原理技术与工具，访问代码原理技术与梯度工具”，”year“：”2007“，”author“：”aho“，”key“：”1“}，”key“：”30“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/102383.1023859“}，{“key”：“7”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-14613-9668-0_6”}，}“密钥”：“6”，“doi-asserted-by“doi”：“10.1109\/ACSD.2005.24”}，{“key”：“5”，“doi-asserted-by”：“publisher”，“doi“：”10.1016\/0167-6423（92）90005-V“}，{“key”：“31”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2006.02.028”}，}“journal-title”：“VLSI设计中的形式方法研讨会”，“article-title“：“纯esterel的硬件实现”，“year”：“1991”，“author”：“berry”，“key“：”“4”}、{“key”：”9“，”doi-assert-by“：”crossref“，“首页”：“48”，“doi”：“10.1007 \/3-540-55179-4_6“，”article-title“：”无交互微积分的线性时间模型检查算法“，”volume“：”575“，”author“：”cleaveland“，”year“：”1992“，”journal-title”：“计算机辅助验证（CAV）”}，{“key”：“8”，“doi-asserted-by”：“publisher”，“doi”：“10.1007”\/3-50496-9_32“}]，”event“：{“name”：“2009年第七届IEEE\/ACM联合设计正式方法和模型国际会议（MEMOCODE）”，“开始”：{“日期部分”：[[2009,7,13]}，“地点”：“美国马萨诸塞州剑桥”，“结束”：{“日期部分”：[[2009,7,15]]}}，“容器标题”：[“2009年第七届IEEE\/ACM联合设计正式方法和模型国际会议”]，“原标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185392.pdf？arnumber=5185392“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,6,18]]，”date-time“：“2017-06-18T18:43:27Z”，”timestamp“：1497811407000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieeexplore.iee.org\/document\/5185392\/“}}，”副标题“：[]，”短标题“：[]，”发布“：{“date-parts”：[[2009,7]]}，“references-count”：38，“URL”：“http://\/dx.doi.org\/10.1109\/memcod.2009.5185392”，“relation”：{}，”subject“：[]，”published“：{date-part”：[[2009,7]}}}