{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10,17]]，“日期时间”：“2023-10-17T22:53:05Z”，“时间戳”：1697583185377}，“引用计数”：21，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2010,11]]}，“DOI”：“10.1109\/hase.2010.15”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,11,19]]，“date-time”：“2010-11-19T16:29:12Z”，“timestamp”：1290184152000}，“source”：《Crossref》，“is-referenced-by-count”：13，“title”：[“属性冲突的路径：分析计数器示例的结构方法”]，“前缀”：“101109”，“author”：[{“给定”：“Thomas”，“family”：“Bochot”，“sequence”：“first”，“affiliation”：[]}：“263”，“reference”：[{“key”：“ref10”，“first page”：“94”，“article-title”：“使用因果关系解释反例”，“author”：“beer”，“year”：“2009”，“journal-title“：”Proc CAV“}，{“key”：”ref11“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10009-007-0047-9”}，“key“：”ref12“，”author“：”bushnell“，”year“：”2000“，”journal-title“：“数字存储器和混合信号VLSI电路电子测试的基础”}，{“key”：“ref13”，“article-title”：“调试反应式程序的自动状态”，“author”：“gaucher”，“year”：“2003”，“journal-title“：“自动化和算法调试过程研讨会（AADEBUG'03）”}：“10.1002\/stvr.394”}，{“key”：“ref15”，“doi-asserted-by”：“crossref”，“doi”：“10.1109\/5.97300”，“article-title”：“同步数据流编程语言Lustre”，“volume”：”79“，“author”：“halbwachs”，“year”：“1991”，“journal-title“：”IEEE会议记录，“author”：“halbwachs”，“year”：“1993”，“journal-title”：“第三届代数方法论和软件技术国际会议（AMAST’93）计算研讨会”}，{“key”：“ref17”，“author”：“bochot”，“年”：“2009”，“日记标题”：“验证模型检查des commandes de vol applicabilite industrielle et analysis de contre-emples”}，“年份”：“0”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ASE.2000.873667”}“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-45069-6_22”}，{“key“：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/QEST.2008.40”}，{“key”：“ref8”，“article-title”：“出错的地方：解释反例”，“author”：“groce”，“year”：“2003”，“journal-title“：”Proc SPIN“}”，{”key“：“ref7”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/j.entcs.2006.12.027“}，“key”：“ref2”，“article-title”：“空中客车航空电子软件的正式验证工作台”，“作者”：“duprat”，“年份”：“2006”，“日志标题”：“Proc Embedded Real-Time software”}，{“key”：“ref1”，“year”：“0”}：“marre”，“year”：“2004”，“journal-title”：“Proc-Conf Automated Software Eng（ASE）”}，{“key”：“ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1081706.1081750”}]，“event”：{“name”：“2010 IEEE第十二届高保证系统工程国际研讨会（HASE）”，“location”：“San Jose，CA，USA”，“start”：{“date-parts”：[[2010,11,3]]}，“end”日期部分“：[[2010,11,4]}}，“container-title”：[“2010 IEEE第十二届高保证系统工程国际研讨会”]，“original-title“：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/568339\/5634313.pdf？arnumber=5634313”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期-部分”：[[2017,6,19]]，“日期-时间”：“2017-06-19T12:20:33Z”，“时间戳”：1497874833000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.ieee.org\/document\/5634313\/”}}，”副标题“：[]，”短标题“：[]，”发布“日期-部件”：[2010,11]]}，：21，“URL”：“http://\/dx.doi.org\/10.109\/hase.2010.15”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2010,11]]}}