{“id”：“https://openalex.org/W2107293009“，”doi“：”https://doi.org/10.1007/3-540-49646-7_17“，”title“：“计算机辅助开发工具安全性正式认证的结构化方法”，”display_name“：”计算机辅助开发软件安全性正式证书的结构化方法“，”publication_year“：1998，”publiation_date“：”1998-01-01“，”ids“：{”openalex“：”https://openalex.org/W2107293009“，”doi“：”https://doi.org/10.1007/3-540-49646-7_17“，”mag“：”2107293009“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-49646-7_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5064234632“，”display_name“：”Piergiorgio Bertoli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I147482076“，”display_name“：”科学技术研究所“，”ror“：”https://ror.org/03sbzv212“，”“country_code”“：”MX“，”type“：”other“，”lineage“：[”https://openalex.org/I147482076“]}]，”国家“：[”MX“]，”is_corresponding“：false，”raw_author_name“：”Piergiorgio Bertolihttps://openalex.org/I147482076“]}]}，{”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/I147482076“，”display_name“：”科学技术研究所“，”ror“：”https://ror.org/03sbzv212“，”“country_code”“：”MX“，”type“：”other“，”lineage“：[”https://openalex.org/I147482076“]}]，”国家“：[”MX“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“科学技术研究所”]，”affiliations“：[{”raw_ afiliation _string“：”科学技术研究院“，”institution_ids“：[https://openalex.org/I147482076“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5001227032“，”display_name“：”Fausto Giunchiglia“，”orcid“：”https://orcid.org/0000-0002-5903-6150“｝，”机构“：[｛”id“：”https://openalex.org/I147482076“，”display_name“：”科学技术研究所“，”ror“：”https://ror.org/03sbzv212“，”“country_code”“：”MX“，”type“：”other“，”lineage“：[”https://openalex.org/I147482076“]}]，”国家“：[”MX“]，”is_corresponding“：false，”raw_author_name“：”Fausto Giunchiglia“，”raw _ afiliation_strings“：[“科学技术研究所”]，”affiliations“：[{”raw_ afiliation _string“：”科学技术研究院“，”institution_ids“：[https://openalex.org/I147482076“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5039482178“，”display_name“：”Paolo Traverso“，”orcid“：”https://orcid.org/0000-0001-6301-0204“｝，”机构“：[｛”id“：”https://openalex.org/I147482076“，”display_name“：”科学技术研究所“，”ror“：”https://ror.org/03sbzv212“，”“country_code”“：”MX“，”type“：”other“，”lineage“：[”https://openalex.org/I147482076“]｝]，”国家“：[”MX“]，”is_corresponding“：false，”raw_author_name“：”Paolo Traverso“，”raw_affiation_strings“：[”科学技术研究所“]，”附属机构“：[｛”raw_affiation_string“：”科学技术研究所“，”institution_ids“：[”https://openalex.org/I147482076“]｝]｝]，“institution_assertions”：[]，“countries_destinct_count”：1，“institutions_dispict_count”：1，“corresponding_author_ids”：[]，“corresponding_institution_ids”：[]，“apc_list”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：null，“fwci”：1.884，“has_fulltext”：false，“cited_by_count”：3，“citation_normalized_p百分位数”：｛”value“：0.542797，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：67，”max“：70}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”221“，”last_page“：”230“}”，“is_retracted”：false、“is_paratext”：false，”primary_topic“：”{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9981，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/safety-verification网站“，”display_name“：”安全验证“，”score“：0.575488}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.543189}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.533759}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.521222}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86928463}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7922871}，{”id“：”https://openalex.org/C46304622，“wikidata”：https://www.wikidata.org/wiki/Q374814“，”display_name“：”Certification“，”level“：2，”score“：0.64315987}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.6304419}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.59212935}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.55591935}，{”id“：”https://openalex.org/C126042441，“wikidata”：https://www.wikidata.org/wiki/Q1324888“，”display_name“：”Frame（networking）“，”level“：2，”score“：0.50555253}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.48516923}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.45512483}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39057958}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-49646-7_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”best_oa_location“：null”，“sustainable_development_goals”：[{“display_name”：“工业、创新和基础设施”，“id”：”https://metadata.un.org/sdg/9“，”score“：0.58}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：]”https://openalex.org/W1485119882","https://openalex.org/W1565996669","https://openalex.org/W1851630800","https://openalex.org/W1996143850","https://openalex.org/W2034711041","https://openalex.org/W2150769115","https://openalex.org/W227043464","https://openalex.org/W2911450990","https://openalex.org/W4251578430“]，”related_works“：[”https://openalex.org/W4390481443","https://openalex.org/W4312733571","https://openalex.org/W4297811169","https://openalex.org/W3097218026","https://openalex.org/W2624478615","https://openalex.org/W2606974619","https://openalex.org/W2111870610","https://openalex.org/W2037121848","https://openalex.org/W2006962382","https://openalex.org/W1937494301“]，”abstract_inverted_index“：{”安全关键“：[0]，”系统“：[1]，”是“：[2]，”经常“：[3]，”设计“：[4]，”使用“：[5,33]，”开发“：[6,59]，”支持“：[7]，”工具“：[8114]，”其中“：[9146]，”执行“：[10,78]，”翻译“：[11]，”的“：[12,20,28,43,48,58,69,72133142]，”高级“：[13]，”规范“：[14]，”into“：[15]，”lower-level“：[16]，”相对应的人。“：[17]，”The“：[18]，”correctivity“：[19]，”The“：[21,26,29,44,55,67,79104112122131138]，”translation“：[22]，”is“：[23,40107]，”critical“：[24]，”to“：[25,37,53,77116149]，”safety“：[27]，“resulted”：[30]，”systems。“：[31]，”然而，“：[32]，”非“：[34]，”故障安全“：[35]，”组件“：[36]，”实现“：[38]，”翻译器“：[39]，”理想“：[41]，”因为“：[42]，”极端“：[45]，”高“：[46]，”成本“：[47]，”认证“：[49]，”组件。“：[50]，”In“：[51,75]，”order“：[52,76]，”ensure“：[54]，”correct“：[56109]，”behavior“：[57]，”tools“：[60]，”we“：[C1,87147]，”accept“：【62】，”a“：[63117143]，”solution“：【64】，”based“：【65】，”on“：【66】，”idea“：【68】，”verifying“：【70】，”each“：【71】，”their“：【73】，”executions。“：[74]，”验证“：[80,99]，”in“：[81103130151]，”an“：[82,89,94,97134]，”自动“：[83]，”和“：[84,96124137]，”高效“：[85]，”方式“：[86]，”跟随“：[88]，”创新“：[90]，”方法“：[91]，”by“：[92110]，”区分“：[93]，”在线“：[95,98123125]，”阶段。“：[100]，”每个“：[101]，”证明“：[102]，”两个“：[105]，”阶段“：[106]，”保证“：[108]，”设计“：[111]，”认证“：[113]，”依据“：[115]，”日志和检查“：[11126140]，”体系结构。“：[119]，“我们”：[120]，“描述”：[121]，“方法论”：[127]，“其”：[128]，“应用”：[129]，“框架”：[132]，“工业”：[135]，“项目”：[136]，“正在进行”：[139]，“重新设计”：[141]，“最先进”：[144]，“证明人”：[145]，“打算”：[148]，“使用”：[150]，“未来”：[152]，“运用”。“：[153]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2107293009“，”counts_by_year“：[]，”updated_date“：”2024-09-25T06:04:02.299472“，”创建日期“：”2016-06-24“}