{“id”：“https://openalex.org/W2052648921“，”doi“：”https://doi.org/10.1016/j.scico.2014.06.003“，”title“：“通过符号模型检查对AltaRica模型进行安全评估”，”display_name“：通过符号模型检测对AltaRica模型进行安全评价”，”publication_year“：2015，”publitation_date“：”2015-02-01“，”ids“：{”openalex“：”https://openalex.org/W2052648921“，”doi“：”https://doi.org/10.1016/j.scico.2014.06.003“，”mag“：”2052648921“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.scico.2014.06.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S21029587“，”display_name“：”计算机编程科学“，”issn_l“：”0167-6423“，”isn“：[”0167-60423“、”1872-7964“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Marco Bozzano“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5081552723“，”display_name“：”Oleg Lisagor“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I52099693“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Oleg Lisagor“，”raw_affiliation_strings“：[“英国约克大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5023931839“，”display_name“：”Cristian Mattarei“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Cristian Mattarei“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Sergio Mover“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]｝]，”国家“：[”IT“]，”is_correresponsing“：true，”raw_author_name“：”Marco Roveri“，”raw_affiation_strings“：[”意大利特伦托布鲁诺·凯斯勒基金会“]｝，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}]“countries_distiction_count”：2，”institutions_disticent_count“：2，“corresponding_author_ids”：[”https://openalex.org/A5076775585","https://openalex.org/A5017426974","https://openalex.org/A5023931839","https://openalex.org/A5023894417","https://openalex.org/A5055975794","https://openalex.org/A5018618502“]，”对应的机构ID“：[”https://openalex.org/I2277624104","https://openalex.org/I2277624104","https://openalex.org/I2277624104","https://openalex.org/I2277624104","https://openalex.org/I2277624104","https://openalex.org/I2277624104“]，”apc_list“：{”value“：2460，”currency“：”USD“，”value_USD“：2450，”provenance“：”doaj“}，”apc _payed“：”{“value”：2460；”currentary“：”美元“，”value_USD”：2440，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：26，“cited_by_percentile_year”：{“min”：93，“max”：94}，《图书》：{卷：“98”，“issue”：null，“first_page”：“464”，“last_page”：“483”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“｝，”field“：｛”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“｝，”field“：｛”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9968，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.558419}，{”id“：”https://openalex.org/keywords/symbolic-model-checker（https://openalex.org/keywords/symbolic-model-checker）“，”display_name“：”符号模型检查器“，”score“：0.530655}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.511122}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8739535}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.8224907}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7690792}，{”id“：”https://openalex.org/C96324660，“wikidata”：https://www.wikidata.org/wiki/Q205446“，”display_name“：”Dataflow“，”level“：2，”score“：0.685515}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.5229738}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”level“：2，”score“：0.47822234｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.47406167}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.46461523}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37662336}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.36013782｝，｛”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.12883425}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.scico.2014.06.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S21029587“，”display_name“：”计算机编程科学“，”issn_l“：”0167-6423“，”isn“：[”0167-60423“、”1872-7964“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：18，“referrenced_works”：https://openalex.org/W1655053995","https://openalex.org/W1965965053","https://openalex.org/W1973898358","https://openalex.org/W2003143503","https://openalex.org/W2018951244","https://openalex.org/W2024839988","https://openalex.org/W2030180265","https://openalex.org/W2030224590","https://openalex.org/W2035568363","https://openalex.org/W2055856629","https://openalex.org/W2064759549","https://openalex.org/W2123310844","https://openalex.org/W2158963168","https://openalex.org/W2160754740","https://openalex.org/W2498600351","https://openalex.org/W4210639184","https://openalex.org/W4300021588","https://openalex.org/W69467742“]，”related_works“：[”https://openalex.org/W4390481443","https://openalex.org/W4315606162","https://openalex.org/W4312733571","https://openalex.org/W3097218026","https://openalex.org/W2340807904","https://openalex.org/W2149716943","https://openalex.org/W2111870610","https://openalex.org/W2037121848","https://openalex.org/W2006962382","https://openalex.org/W1937494301“]，”ngrams_url“：”https://api.openalex.org/works/W2052648921/ngrams“，”“abstract_inverted_index”：{“AltaRica”：[0,35,80108]，“is”：[114120155]，“a”：[2,13,73,84,99127162]，“language”：[3]，“used”：[4109]，“to”：[5,50]，“describe”：[6]，“safety”：[7141]，“critical”：[8]，“systems”：[9]，，“欧洲”：[15]，“工业”：[16165]，“标准”：[17]，“代表”：[18,29,32,65,76]，“基于模型“：[19]，”安全“：[20]，”评估“：[21]，”（MBSA）。“：[22]，”然而，“：[23]，”甚至“：[24]，”the“：[25,30,59,77,91104144147170173177]，”大多数“：[26,44]，”成熟“：[27]，”工具“：[28]，”支持“：[31]，”MBSA“：[33]，”of“：[34,61，79,90103107146150164172]，”模型“：[36,81]，”即“：[37]，”达索“：[38]，”OCAS“：[39135]，”几个“：[41]，“限制。“：[42]，”The“：[43,95112152]，”important“：[45]，”ones“：[46]，”are“：%47]，”its“：48118]，”inability“：[49]，”performance“：[51]，”many“：[52]，”analysis“：[53]，”exhaustively“：[54]，”severe“：[55]，”scalability“：[56]，”issues“，”and“：[58117132140]，”lack“：[60]，”model“：[62,92]，”检查“：[63]，”技术“：[64149]，”时间“：[66]，”属性。“：[67]，”In“：[68]，”this“：[69124]，”paper“：[70]，”we“：[71]，”present“：[72]，”novely“：[74100]，“approach”：[75154]，“analysis”：[78]，”based“：[82]，”on“：[83,98123161]，“translation”：[85,96113]，“into”：[86]，“an”：[87158]，“extended”：[88]，“version”：[89]，“checker”：[93]，“NuSMS”五、。“：[94151]，”依赖“：[97]，”正式“：[101125]，”特征化“：[102]，”数据流“：[105]，”方言“：[106]，”in“：[110]，”OCAS。“：[111]，”形式“：[115]，”定义“：[116]，”正确性“：[119]，”证明。“：[121]，“基于”：[122]，“特征化”：[126]，“工具集”：[128]，“被”：[130]，“开发”：[131]，“集成”：[133]，“在”：[134]，“因此”：[136]，“启用”：[137]，“功能”：[138]，“验证”：[139]，“评估”：[142]，“有”：[143]，“状态”：[145]，“艺术”：[148]，“整体”：[153]，“确认”：[156]，“通过”：[157]，“实验”：[159]，“评估”：[160]，“set“：[163]，”case“：[166]，”studies“：[167]，”which“：[168]，”examples“：[169]，”advanties“：[171]，”proposed“：[174]，”technique“：[175]，”over“：[176]，”currently“：[178]，”available“：[179]，”tools。“：[180]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2052648921“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：1}.，{“年”：2021，“ciped_by_cunt”：6}，“年”:2020，”cited_by_count“年份”：2017，“引用_by_count”：2}，{“年份”:2016，“引用_ by_counts”：2{“年度”：2015，“引用的by_count:2}]，“updated_date”：“2024-05-22T02:49:02.641062”，“创建日期”：“2016-06-24”}