{“id”：“https://openalex.org/W2505162282“，”doi“：”https://doi.org/10.1007/978-3-319-41528-4_15“，”title“：“通过隐式抽象和良好关系实现无限州生活到安全”，”display_name“：”通过隐式提取和良好关系确保无限州生活至安全“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2505162282“，”doi“：”https://doi.org/10.1007/978-3-319-41528-4_15“，”mag“：”2505162282“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-41528-4_15“，”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/P4310319965","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”：true，“oa_status”：“green”，“oa_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-41528-4_15.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5089020301“，”display_name“：”Jakub Daniel“，”orcid“：”https://orcid.org/0000-0001-6474-4250}，“机构”：[{“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“：”Jakub Daniel“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”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_correresponsing“：false，”raw_author_name“：”Alessandro Cimatti“，”raw_affiation_strings“：[”意大利特伦托布鲁诺·凯斯勒基金会“]，”附属机构“：[｛”raw_affiation_string“：”意大利特伦托布鲁诺·凯斯勒基金会“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038636493“，”display_name“：”Alberto Griggio“，”orcid“：”https://orcid.org/0000-0002-3311-0893}，“机构”：[{“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“：false，”raw_author_name“：”Alberto Griggio“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”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“：false，”raw_author_name“：”Stefano Tonetta“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _ afiliation_strings“：[“科罗拉多大学博尔德分校，美国博尔德”]，”affiliations“：[{”raw_ afiliation _string“：”科罗拉多大学，博尔德，美国https://openalex.org/I188538660“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5089020301“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：2.984，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：24，”citation_normalized_percentile“：{”value：0.955267，”is_in_top_1_percent“：false，”is_ in_top_10_percennt“：true}，“cited_b”y_percentile_year“：{“最小”：92，“最大”：93}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”271“，”last_page“：”291“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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.9845，”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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9845，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/liveness网站“，”display_name“：”Liveness“，”score“：0.9725965}，{”id“：”https://openalex.org/keywords/spurious-relationship“，”display_name“：”虚假关系“，”score“：0.781123}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”Abstraction“，”score“：0.6438967｝，｛”id“：”https://openalex.org/keywords/interated函数“，”display_name“：”迭代函数“，”score“：0.54359376}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.491756}，{”id“：”https://openalex.org/keywords/abstract-interpretation（https://openalex.org/keywords/abstract-interpretation）“，”display_name“：”抽象解释“，”score“：0.41560793}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.9725965}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8149148}，{”id“：”https://openalex.org/C97256817，“wikidata”：https://www.wikidata.org/wiki/Q1462316“，”display_name“：”虚假关系“，”level“：2，”score“：0.781123}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”level“：2，”score“：0.6438967}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.60957456}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5637169}，{”id“：”https://openalex.org/C140479938，“wikidata”：https://www.wikidata.org/wiki/Q5254619“，”display_name“：”迭代函数“，”level“：2，”score“：0.54359376}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4984498}，{”id“：”https://openalex.org/C189430467，“wikidata”：https://www.wikidata.org/wiki/Q7293293“，”display_name“：”排名（信息检索）“，”级别“：2，”分数“：0.48894134}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.47975338}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4449496}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.41560793}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.413359}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3859981}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37768748}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15455249}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14941776}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-41528-4_15“，”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/P4310319965","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}，{“is_oa”：true，“landing_page_url”：“http://link.springer.com/chapter/10.1007/978-3-319-41528-4_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-41528-4_15.pdf，“源”：{“id”：https://openalex.org/S4306401913“，”display_name“：”Institutional Research Information System（University\u00e0 degli Studi di Trento）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I193223587“，”host_organization_name“：”特伦托大学“，”host_organization_lineage“：[”https://openalex.org/I193223587“]，”host_organization_lineage_names“：[”特伦托大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://link.springer.com/chapter/10.1007/978-3-319-41528-4_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-41528-4_15.pdf，“源”：{“id”：https://openalex.org/S4306401913“，”display_name“：”Institutional Research Information System（University\u00e0 degli Studi di Trento）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I193223587“，”“host_organization_name”：“特伦托大学”，“host_organization_lineage”：[“https://openalex.org/I193223587“]，”host_organization_lineage_names“：[”特伦托大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”可持续发展目标“：[｛”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.44}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：51，”referrenced_works“：【”https://openalex.org/W10653132","https://openalex.org/W1209505024","https://openalex.org/W1490609548","https://openalex.org/W1491036809","https://openalex.org/W1497571013","https://openalex.org/W1510368738","https://openalex.org/W1511600686","https://openalex.org/W1512310098","https://openalex.org/W1516900991","https://openalex.org/W1530375435","https://openalex.org/W1542502949","https://openalex.org/W1549166962","https://openalex.org/W1576151803","https://openalex.org/W1780369767网址","https://openalex.org/W1793594870","https://openalex.org/W1815155750","https://openalex.org/W188927585","https://openalex.org/W1959882242","https://openalex.org/W2023808162","https://openalex.org/W2039253823","https://openalex.org/W2052648921","https://openalex.org/W2086026530","https://openalex.org/W2089003125","https://openalex.org/W2095689360","https://openalex.org/W2096698163","https://openalex.org/W2101508170","https://openalex.org/W2111654715","https://openalex.org/W2124909257","https://openalex.org/W2126626789","https://openalex.org/W2127574686","https://openalex.org/W2128803539","https://openalex.org/W2133038101","https://openalex.org/W213397635","https://openalex.org/W213996327","https://openalex.org/W2147348835","https://openalex.org/W2151463894","https://openalex.org/W2158493209","https://openalex.org/W2160883697","https://openalex.org/W2163590987","https://openalex.org/W221832247","https://openalex.org/W2244544521","https://openalex.org/W2293708017","https://openalex.org/W233122475","https://openalex.org/W3006308506","https://openalex.org/W3138459719","https://openalex.org/W4242177437","https://openalex.org/W4243887386","https://openalex.org/W4248689402","https://openalex.org/W4251694050","https://openalex.org/W4254377784","https://openalex.org/W48672996“]，”related_works“：[”https://openalex.org/W4376854129","https://openalex.org/W3005566532","https://openalex.org/W2357722807","https://openalex.org/W2164319435","https://openalex.org/W2147348835","https://openalex.org/W2082472813","https://openalex.org/W1970223082","https://openalex.org/W1857396602","https://openalex.org/W1575025334","https://openalex.org/W1489487975“]，”abstract_inverted_index“：{”We“：[0,12,43]，”present“：[1]，”a“：[2,15,76,90151]，”fully-symbolic“：[3]，”LTL“：[4]，”model“：[5]，”checking“：[6]，”approach“：[7,17,49145]，”for“：[8]，”infinder-state“：[9]，”transition“：[10]，”systems“：[11]，”extend“：[13]，”liveness-to-safety“：[14]，“突出”：[16]，“in”：[18]，“the”：[19,30,39,45,48123126133138]，“有限状态“：[20]，“case，”：[21]，“by”：[22,50,75,97]，“means”：[23]，“of”：[24,32,47,79125137154]，“implicit”：[25]，“abstration，”：/26]，“to”：[27,65,99110]，“effectively”：[28]，“prove”：[29,66]，“missition”：[31]，“抽象”：[33,40,70102113127]，“fair”：[34,71103]，“loops”：[35]，“without”：[36]，“显式”：[37]，“构造”：[38]，“状态”：[41]，“空间”。“：[42]，”增加“：[44]，”有效性“：[46]，”集成“：[51]，”终止“：[52]，”技术“：[53]，”基于“：[54121]，”on“：[55122150]，”基础良好“：[56,80119]，”关系“：[57]，”派生“：[58]，”from“：[59]，”排名“：[60,92]，”函数。“：[61]，”The“：[62，94129143]，”idea“：[63]，”is“：[64，73，87]，”that“：[67]，”any“：[68]，”existing“：[69]，”loop“：[72]，”covered“：[74]，”given“：[77]，”set“：[78]，”relationships。“：[81]，“Within”：[82]，“this”：[83]，“framework”，：[84]，“$$k$$”：[85]，“-liveness”：[86]，“integrated”：[88]，“as”：[89]，“generic”：[91]，“function”。“：[93]，”算法“：[95]，”迭代“：[96]，”尝试“：[98]，”删除“：[100]，”伪“：[10112]，”循环：“：[104]，”要么“：[105]，”它“：[106116]，”发现“：[107]，”新“：[108118]，”谓词，“：[109]，”避免“：[111]，”前缀，“：114]，”或“：[115]，”引入“：[117]，”关系“：[120]，”分析“：[124]，“套索。“：[128]，”实现“：[130]，”完全“：[131]，”杠杆“：[132]，”效率“：[134]，”和“：[135]，”增量“：[136]，”基础“：[139]，”安全“：[140]，”检查程序“：[141]，”IC3ia。“：[142]，”提议“：[144]，”表现优异“：[146]，”其他“：[147]，”暂时“：[148]，”检查程序“：[149]，”范围“：[152]，”类别“：[153]，”基准。“：[155]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2505162282“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：6}，”{“年份”：2022，“cited_by_count”：2]，”年度“：2021，”cited_bycount“:2}“年份”：2017，“引用_by_count”：3}，{“年度”：2016，“引用_ by_counts”：2}]，“更新日期”：“2024-09-26T13:28:02.042640“，”创建日期“：”2016-08-23“}