{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,13]]，“日期-时间”：“2024-03-13T18:32:15Z”，“时间戳”：1710354735865}，“参考-计数”：36，“出版商”：“爱思唯尔BV”，“许可证”：[{“开始”：{-“日期-零件”：[2015,2,1]]，”日期-时间“：”2015-02-01T00:00:00 Z“，”timestamp“：14227488000000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2019,2,1]]，“date-time”：“2019-02-01T00:00:00Z”，“timestamp”：1548979200000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“http:\/\/www.elseviewer.com/open-access//”用户许可证\/1.0\/“}]，”内容域“：{”域“：[”elsevier.com“，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“计算机编程科学”]，”published-print“：{“date-parts”：[[2015,2]}，”DOI“：”10.1016\/j.scico.2014.06.003“，”type“：”journal-article“，”created“：{“date-ports”：[2014,6,17]]，”date-time“：”2014-06-17T14:51:18Z“，”timestamp“：1403016678000}，“页面”：“464-483”，“更新策略”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“source”：“Crossref”、“is-referenced-by-count”：25，“title”：[“通过符号模型检查对AltaRica模型进行安全评估”]，“前缀”：“10.1016”，“卷”：“98”，“作者”：[{“给定”：“Marco”，“family”：“Bozzano”，“sequence”：“first”，“affiliation”：[]}，{“已知”：“Alessandro”，“家族”：“Cimatti“，”序列“：“additional”，“affiliation”：[]}，{“given”：“Oleg”，“family”：“Lisagor”，“sequence”：“additive”，“abfiliation“：[]{“ORCID”：”http://\/ORCID.org\/00000-0001-505-896X“，”authenticated-ORCID“：false，”given“：”Cristian“，”family“：”Mattarei“，“：”附加“，”从属“：[]}，{“given”：“Marco”，“family”：“Roveri”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“Stefano”，“家族”：“Tonetta”，“serquence”:“additionable”，“filiation“：[]2]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.scico.2014.06.003_br0010“，“series-title”：“故障树手册”，“author”：“Vesely”，“year”：“1981”}，“密钥”：“10.1016\/j.scico.2014.06.003_br0020”，“系列标题”：“航空航天应用故障树手册”，“作者”：“Vesely”，“年份”：“2002”}，｛“key”：“10.1016\/j.scico.2014.06.003_br0030”，“系列标题”：“ICRMS”，“首页”：“625”，“文章标题”：“基于模型的安全评估：学科及其挑战的审查”，“作者”：“Lisagor”，“年份”：“2011”｝，｛“key”：“10.1016\/j.scico.2014.06.003_br0040”，“series-title”：“Proc.ESREL”，“first page”：“237”，“article-title”：”ESACS:复杂系统设计和安全分析的集成方法论“，”author“：”Bozzano“，”year“：”2003“}，{“key”：”10.1016\/j.sico.2014.06.03_br0050“，”series-tile“：”Proc.ERTS 2006“，”first pages“：”1“，”article-title“”：“ISAAC，功能、几何和人因方面综合安全分析框架”，“作者”：“Akerlund”，“年份”：“2006”}，{“关键”：“10.1016\/j.scico.2014.06.003_br0060”，“系列-标题”：“关键系统的设计和安全评估”，“作家”：“Bozzano”，“年度”：“2010”}，“doi-asserted-by”：“crossref”，“first page”：“5”，“doi”：“10.1007\/s10009-006-0001-2”，“article-title”：“The FSAP\/NuSMV-SA安全分析平台”，“volume”：”9“，“author”：“Bozzano”，“year”：“2007”，“journal-title“Int.J.Softw.Tools Technol.Transf.”}，{“key”：不，A.Cimatti，J.-P.Katoen，V.Y。Nguyen，T.Noll，M.Roveri，《扩展AADL模型的安全性、可靠性和性能分析》，计算。J.，http://\/dx.doi.org\/10.1093\/com.“}，{“key”：“10.1016\/J.scico.2014.06.003_br0110”，“doi-asserted-by”：“crossref”，“first page”：”109“，“doi”：“10.3233\/FI-1999-402302”，“article-title”：“描述并发系统的AltaRica形式主义”，“volume”:“40”，“author”：“Arnold”，“year”：“2000”，“journal-title“：”Fundam。通知。“}，{”键“：”10.1016\/j.scico.2014.06.003_br0120“，“series-title”：“程序。EDCC-4“，“首页”：“19”，“article-title”：“故障树分析与模型检验相结合用于复杂系统安全评估”，“卷”：“第2485卷”，“作者”：“Bieber”，“年份”：“2002”}，{“key”：“10.1016\/j.scico.2014.06.003_br0130”，“series-title”：《构建信息社会》，“首版”：“505”，“article-title”：“AltaRica安全评估”，“卷”：“第156卷”，“作者”：“Bieber”，“年份”：“2004”}，{“密钥”：“10.1016\/j.scico.2014.06.003_br0140”，“非结构化”：“L.A.Johnson，Do-178b，机载系统和设备认证中的软件考虑因素，串扰，10月”}首页“：”275“，”article-title“：”HyDI：离散交互符号混合系统语言“，”author“：”Cimatti“，”year“：”2011“}，{“key”：“10.1016\/j.scico.2014.06.003_br0160”，“unstructured”：“The NuSMV model checker，http://NuSMV.fbk.eu.“：”crossref“，”第一页“：”293“，”DOI“：”10.1145\/136035.13643“，”article-title“：”有序二元决策图的符号布尔运算“，”volume“：”24“，”author“：”Bryant“，”year“：”1992“，”journal-title”：“ACM Compute”。Surv公司。“}，{”key“：”10.1016\/j.scico.2014.06.003_br0180“，”series-title“：”Proc.TACAS“，”first page“：“193”，”article-title“：“不带BDD的符号模型检查”，“volume”：“vol.1579”，“author”：“Biere”，“year”：“1999”}，“key”：“密钥”：“10.1016\/j.scico.2014.06.003_br0200”，“doi-asserted-by“：”crossref“，”first page“：”279“，”doi“：”10.1016\/0164-1212（93）90029-W“，”article-title“：”软件安全分析的集成工具集“，”volume“：“21”，”author“：”Fenelon“，“year”：“1993”，“journal-title”：“J.Syst”。柔和。“}，{”issue“：”3“，”key“：”10.1016\/j.scico.2014.06.003_br0210“，”doi-asserted-by“：”crossref“，”first page“：“53”，“doi”：“10.1016\/j.entcs.2005.02.051”，“article-title”：“故障传播与转换的模块化架构表示与分析”，“volume”：“141”，“author”：“Wallace”，“year”：“2005”，“journal-title“：”电子。注释Theor。计算。科学。“}，{”issue“：”3“，”key“：”10.1016\/j.scico.2014.06.003_br0220“，”doi-asserted-by“：”crossref“，”first page“：“229”，”doi“：”101016\/S0951-8320（00）00076-4“，”article-title“故障条件下复杂可编程电子系统行为的分析与合成”，“volume”：“71”，“author”：“Papadopoulos”，“year”：“2001”，“journal-title”：“”宗教信仰。工程系统。安全。}，{“key”：“10.1016\/j.scico.2014.06.003_br0230”，“series-title”：“计算机辅助控制系统设计，2006年IEEE控制应用国际会议，2006年EEE智能控制国际研讨会”，“首页”：“1206”，“文章标题”：“sae体系结构分析与设计语言（AADL）”工程性能关键系统标准”，“作者”：“Feiler”，“年份”：“2006”}，{“问题”：“7”，“关键”：“10.1016\/j.scico.2014.06.003_br0240”，“doi-asserted-by”：“crossref”，“首页”：“747”，”doi“：”10.1016\/j.ress.2004.12.004“，”article-title“：”使用中的哥斯达黎加数据流语言：多状态系统的生产可用性建模”，“卷”：“91”，“作者”：“Boiteau”，“年份”：“2006”，“期刊标题”：“遗迹。工程系统。安全。“}，{”issue“：”1“，”key“：”10.1016\/j.scico.2014.06.003_br0250“，”doi-asserted-by“：”crossref“，”first page“：“1”，”doi“：”101016\/S0951-8320（02}，{“key”：“10.1016\/j.scico.2014.06.003_br0260”，“author“：”SIMFIA“}，{“issue”：“4”，“key”：“10.1016\/j.scico.2014.06.003_br0270”，“doi-asserted-by”：“crossref”，“首页”：“389”，“doi”：“101109\/24.983400”，“article-title”：“最小割集的数学基础”，“volume”：”50“author”：“Rauzy”，“year”：“2001”，“journal-title“：”IEEE Trans.Reliab.“}”，{”key“：“10.1016\/j.scico.2014.06.003_br0300”，“series-title“：”AltaRica-Studio:更容易进行模型检查“，”author“：”Griffault“，”year“：”2011“}，{“key”：“10.1016\/j.scico.2014.06.003_br0310”，“series-ttle”：“Definizione e sviluppo di una traduzione formale da AltaRica ad HyDI per la verifica di sistemi avionici”，“author”：“Mattarei”，“year”：“2011”}，“key“”：”10.1016\/j.scico.2014.06.003_br0320“，“首页”：“17”，“文章标题”：“操作语义的结构方法”，“卷”：“60\u201361”，“作者”：“Plotkin”，“年份”：“2004”，“日志标题”：”j.Log。阿尔盖布。程序。“}，{”issue“：”7“，”key“：”10.1016\/j.scico.2014.06.003_br0330“，”doi-asserted-by“：”crossref“，”first page“：“789”，”doi“：”101002\/spe.4380250705“，”article-title“：”ANTLR：谓词LL（k）语法分析器生成器“，”volume“：“key”：“10.1016\/j.scico.2014.06.003_br0340”，“series-title”：“符号模型检查”，“author”：“McMillan”，“year”：“1993”}，{“key”：“10.1016\/j.scico.2014.06.003_br0350”，“series-title”：“自动技术验证与分析程序研讨会（ATVA 2007）”，“首页”：“162”，《article-title》：“反应系统的符号故障树分析”，“author”:“Bozzano”，“年份”：“2007”}10.1016\/j.scico.2014.06.003_br0360“，”series-title“：”OCAS模块系统设计与分析“，”year“：”2007“}，{”issue“：”2“，”key“：”10.1016\/j.scico.2014.006.003_br 0370“，”doi-asserted-by“：”crossref“，”first page“：“117”，“doi”：“10.1007\/s10009-009-009-999-0”，”article-title“：“基于决策图的异步系统有界可达性检查技术”，“卷”：“11”，“作者”：“Yu”，“年份”：“2009”，“期刊标题”：“Int.J.Softw。技术工具。Transf公司。“}，{”issue“：”12\u201313“，”key“：”10.1016\/j.scico.2014.06.003_br0380“，”doi-asserted-by“：”crossref“，”first page“：“1031”，”doi“：”101016\/j.artint.2006.08.002“，”article-title“：”规划可满足性：计划搜索的并行计划和算法“，”volume“：“}，{”问题“：”3\u20134“，”key“：”10.1016\/j.scico.2014.06.003_br0390“，”首页“：”291“，”article-title“：”AltaRica的定时扩展“，”卷“：”62“，”作者“：”Cassez“，”年份“：”2004“，”日志标题“：”Fundam“。通知。“}，{”issue“：”1“，”key“：”10.1016\/j.scico.2014.06.003_br0400“，”doi-asserted-by“：”crossref“，”first page“：“46”，”doi“：”101007\/s10703-012-0158-0“，“article-title”：“混合系统基于Smt的场景验证”，“volume”：“42”，“author”：“Cimatti”，“year”：“2013”，“journal-title“：”Form.Methods Syst.Des.“}]，”container title“：[”计算机编程科学“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314002810？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\//api.elsevier.com/content\/artracle\/PI:S0167 642314002810？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2020,8,21]]，“date-time”：“2020-08-21T02:10:17Z”，“timestamp”：1597975817000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com\/retrieve\/pii\/S01677 642314002810“}}，”副标题“：[]，”短标题“：[]，”已发布“：｛”日期部分“：[[2015,2]]｝，”引用次数“：36，”备选id“：[”S0167642314002810“]，”URL“：”http:\/\/dx.doi.org/10.1016\/j.scico.2014.006.003“，”relationship“：｛｝，”ISSN“：[”0167-64223“]，”ISSN type“：[｛”value“：”0167-6423“，”type“：”print“｝]，”subject“：[]，”published“：｛”日期部分“：[〔2015，2〕〕｝，“断言”：〔｛”value“：”Elsevier“，”name“：”publisher“，”label“：”本文由“}，”{“value”：“通过符号模型检查对AltaRica模型进行安全评估”，“name”：“articletitle”，“label”：“article Title”}，{“value”：“计算机编程科学”，“name”：“journaltite”，“标签”：“Journal Title“}label“：”CrossRef DOI link to publisher maintained version“}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，}“values”：“Copyright\u00a9 2014 Elsevier B.V.保留所有权利。”，“名称”：“版权”，“标签”：“Copyright”}]}