{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,5,13]]，“日期时间”：“2024-05-13T13:25:47Z”，“时间戳”：1715606747817}，“引用计数”：22，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2018,10]]}，“DOI”：“10.23919\/fmcad.2018.8603007”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2019,1,9]]，“date-time”：“2019-01-09T01:33:52Z”，“timestamp”：1546997632000}，“source”：《Crossref》，“is-referenced-by-count”：9，“title”：[“通过基于SMT的基尔霍夫交换多域网络模型检查分析继电联锁系统”]，“prefix”：“10.23919”，“作者”：[{“given”：“Roberto”，“family”：“Cavada”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Alessandro”，“家族”：“Cimatti”，“序列”：“additional”，“从属关系”：[]}，}“给定的”：“Sergio”，：“附加”，“从属关系”：[]}，{“给定”：“Giuseppe”，“family”：“Cadavero”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Giuse ppe”，“家族”：“Scaglione”，“序列”：“附加的”，“从属关系”：[]}]，“成员”：“263”，“引用”：[{“key”：”ref10“，”首页“：”533“article-title”：“The xSAP安全分析平台”，“author”：“bitner”，“year”：“2016”，“journal title”：“用于构建和分析系统的工具和算法TACAS 2016年论文集”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-016-0257-4”}回复“，“年份”：“2003年”，“新闻标题”：“计算机的进步”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3319-47169-3_19”}，“volume”：“133”，“author”：“hong”，“year”：“2017”，“journal-title”：“Sci-Compute Program”}，{“key”：”ref15“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3319-66197-1_15“}，”{“密钥”：“ref16”，“doi-assert-by”：“publisher”，：“378”，“文章标题”：“ERTMS工业铁路列车间隔系统的正式验证与确认”，“作者”：“cimatti”，“年份”：“2012年”，“期刊标题”：“计算机辅助验证CAV 2012会议记录”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s001650050022”}，｛“key”：“ref4”，“doi asserted by”：“publisher”，“doi”：“10.1109\/LICS.1996.561342”｝，｛“key”：“ref3”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-319-48989-6_11”｝，｛“key”：“ref6”，“文章标题”：“Dia”，“year”：“2017”｝，｛“key”：“ref5”，“author”：“fritzson”，“year”：“2014”，“期刊标题”：“Modelica 3 3 A Cyber-Physical Approach面向对象建模与仿真原理”}，{“key”：“ref8”，“article-title”：“HyCOMP:混合系统的基于SMT的模型检查器”，“author”：“cimatti”，“year”：“2015”，“journal-title“：”TACAS“}，”key“：”ref7“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/SEAA.2011.49“}“”，“journal-title”：“UNIFER-CEI S 461 sigle e segni graficic per gli schemi dei circuitie elettrici degli impianti di segnalamento ferroviario”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.23919\/FMCAD.2017.8102259”}、{“key”：”ref9“doi-sserted-by“：”crossref“，”“first page”：9_22“，”文章标题“：“The nuXmv symbol model checker”，“volume”：“8559”，“author”：“cavada”，“year”：“2014”，“journal title”：“CAV Ser计算机科学讲义”}，{“key”：”ref20“，”first page“：”237“，”article-title“：”通过形式验证铁路联锁系统，案例研究“author:”bonacchi“，”year“：”2013“，”journal ttle“”：“软件工程和形式方法-SEFM 2013”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-30138-7_4”}、{“key”：”ref21“，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/978-3-642-21437-0_11“}]，“event”：{“name”：“2018计算机辅助设计（FMCAD）中的形式方法”，“location”：“Austin，TX”，“start”：日期部分“用法：[[2018,10,30]]}，“end”：{“date-parts”：[[2018，11,2]]}}，”container-title“：[”2018计算机辅助设计（FMCAD）中的形式化方法“]，”original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.ieee.org\/ielx7\/8585253\/86039\/08603007.pdf？arnumber=8603007“，”content-type“：”unspecified“，”content-version“：”vor“，”意向应用“：”相似性检查“}]，“deposed”：{“date-parts”：[[2022,1,26]]，“date-time”：“2022-01-26T00:46:50Z”，“timestamp”：1643158010000}，“score”：1，“resource”：{“primary”：{:“URL”：“https:\/\/ieeexplore.iee.org\/document\/8603007\/”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts.“[2018,10]]}”，“references-count”：22，“URL”：“http://\/dx.doi.org\/10.23919\/fmcad.2018.8603007”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2018,10]]}}