{“id”：“https://openalex.org/W213996327“，”doi“：”https://doi.org/10.1007/978-3-319-08867-9_28“，”title“：”使用K-Liveness验证混合系统的LTL属性“，”display_name“：”用K-Livenss验证混合系统LTL属性”，“publication_year”：2014，“publiation_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W213996327“，”doi“：”https://doi.org/10.1007/978-3-319-08867-9_28“，”mag“：”213996327“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-08867-9_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_28.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_28.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“：”意大利布鲁诺·凯斯勒基金会“，”机构_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_correresponsing“：false，”raw_author_name“：”Alberto Griggio“，”raw_affiation_strings“：[”意大利布鲁诺·凯斯勒基金会“]，”附属机构“：[{”raw_affiation_string“：”意大利布鲁诺·凯斯勒基金会“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547“｝，”机构“：[｛”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“：”Sergio Mover“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，意大利“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”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“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，意大利“，”institution_ids“：[https://openalex.org/I2277624104“]｝]｝]，“institution_asserations”：[]，“countries_destict_count”：1，“institutions_disict_count”：1，“corresponding_author_ids”：[]，“corresponding_institution_ids”：[]，“apc_list”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：null，“fwci”：4.067，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：28，“引用_规范化_percentile“：{”value“：0.982389，”is_in_top_1_percent“：false，”is_in_top_10_percents“：true}，”cited_by_percentile_year“：{“min”：93，“max”：94}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“424”，“last_page”：“440”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.9935，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9933，“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/liveness网站“，”display_name“：”Liveness“，”score“：0.9938196}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.553845}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.551756}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.545265}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.527881}，{”id“：”https://openalex.org/keywords/partial-order-reduction网站“，”display_name“：”部分订单减少“，”score“：0.5072031}，{”id“：”https://openalex.org/keywords/reachability问题“，”display_name“：”可达性问题“，”score“：0.41669187}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.9938196}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.8067236}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7654816}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6659093}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6423608}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.597584}，{”id“：”https://openalex.org/C94633896，“wikidata”：https://www.wikidata.org/wiki/Q7140378“，”display_name“：”部分订单减少“，”level“：3，”score“：0.5072031｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5020602}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”上下文（考古学）“，”level“：2，”score“：0.4837713｝，｛”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.47897434}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4598291}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.42180604}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42124605}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570网址“，”display_name“：”可达性问题“，”level“：3，”score“：0.41669187}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.19807917}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：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/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-08867-9_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_28.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-319-08867-9_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-08867-9_28.pdf，“源”：{“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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[/]，”datasets“：/[]，“versions”：[]”，“referenced_works_count”：50，“referrenced_works”：[”https://openalex.org/W136284023","https://openalex.org/W1480600454","https://openalex.org/W1483379332","https://openalex.org/W1490609548","https://openalex.org/W1493300555","https://openalex.org/W1497571013","https://openalex.org/W1512310098","https://openalex.org/W1521939022","https://openalex.org/W1522448884","https://openalex.org/W1549166962","https://openalex.org/W1576151803","https://openalex.org/W1605350484","https://openalex.org/W1610219453","https://openalex.org/W1815155750","https://openalex.org/W1905380539","https://openalex.org/W1967091946","https://openalex.org/W1970488655","https://openalex.org/W1977444293","https://openalex.org/W1994348879","https://openalex.org/W1995691455","https://openalex.org/W2000947342","https://openalex.org/W2023808162","https://openalex.org/W2024636948","https://openalex.org/W2033455284","https://openalex.org/W2053504864","https://openalex.org/W2060095702","https://openalex.org/W2074838304","https://openalex.org/W2093227835","https://openalex.org/W2094530979","https://openalex.org/W2109789469","https://openalex.org/W2111654715","https://openalex.org/W2112656403","https://openalex.org/W2132976180","https://openalex.org/W2133057837","https://openalex.org/W2158027086","https://openalex.org/W2158493209","https://openalex.org/W2162776653","https://openalex.org/W2163590987","https://openalex.org/W2176215692","https://openalex.org/W2287992279","https://openalex.org/W2293708017","https://openalex.org/W2911432472","https://openalex.org/W3099946496","https://openalex.org/W3138459719","https://openalex.org/W4238034907","https://openalex.org/W4243887386","https://openalex.org/W4248689402","https://openalex.org/W4285719527","https://openalex.org/W61606928","https://openalex.org/W96395447“]，”related_works“：[”https://openalex.org/W78063724","https://openalex.org/W4312626387","https://openalex.org/W4293477811","https://openalex.org/W2952920810","https://openalex.org/W2153337086","https://openalex.org/W2133513409","https://openalex.org/W2103504376","https://openalex.org/W2017676950","https://openalex.org/W197679583","https://openalex.org/W1579149493“]，”abstract_inverted_index“：{”The“：[0]，”verification“：[1,21]，”of“：[2,12,22,53,59123158185224229]，”liveness“：[3,39]，”properties“：[4,40]，”is“：[5,64111180209]，”an“：[6,76159221227]，”important“：[7]，“challenge”：[8]，“in”：[9,501621892226]，”The“：[10,51,57,71109121151156166177190193206216]，“设计”：[11]，“实时”：[13]，“和“：[14198231]，”混合“：[15,47140187]，”系统。“：[16141]，”In“：[17,56129172]，”contrast“：[18]，”to“：[19,89,95135149155164]，”safety“：[23106]，”properties“：[24]，”for“：[25,46105117139182]，”which“：[26]，“there”：[27,3201]，“are”：[28,33]，“severy”：[29236]，“solutions”：[30]，“available”：[31]，“real”：[34]，“fellow”：[35]，“tools”：[36]，“that”：[37,69,75176192205]，“support”：[38]，“such”：[41204]，“如“：[42]，”通用“：[43]，”LTL“：[44138154194]，”公式“：[45]，”系统“：[48]，”偶数“：[49]，”案例“：[52122]，”定时“：[54]，”自动机。“：[55]，”上下文“：[58]，”有限状态“：[60]，”模型“：[61]，”检查“：[62]，”K-Liveness“：[63,86134225]，”a“：[65101183]，”最近“：[66]，”提议“：[67]，”算法“：[68167]，”解决“：[70]，”问题“：[72]，”通过“：[73]，”证明“：[74]，”接受“：[77160207]，”条件“：[78161208]，”可以“：[79]，“be”：[80,90]，“visited”：[81210]，“at”：[82211]，“most”：[83212]，“K“：[84023213]，”次。“：[85214]，”has“：[87]，”shown“：[88]，”very“：[91102]，”efficient“，：[92]，”thanks“：/93]，”also“：-94]，“its”：[96233]，“tight”：[97]，“integration”：[98223]。“：[107]，”不幸，“：[108]，”方法“：[110]，”既不是“：[112]，”完成“：[113181]，”也不是“：+114]，”有效“：[115]，”（偶数“：[116]，”简单“：[118]，”属性）“：[119]，”无限状态“：[124]，”系统“：[125]，”连续“：[127170]，”时间。“：[128171]，”this“：[130]，”paper“：[131]，”we“：[132146174219]，”extend“：/133150]，”deal“：[136]，”On“：[142215]，”理论“：[144]，”side“：[145218]，”show“：[147]，”how“：%148]，”reduction“：[15279]，”from“：[153]，”可达性“：[157]，”order“：[163]，”make“：[165]，”work“：%168]，”“特殊”：[173]，“证明”：[175]，“新”：[178]，“类”：[184]，“矩形”：[186]，“自动机，“：[188]，”感知“：[191]，”属性“：[195]，”保持“：[196]，”如果“：[197200]，”仅“：[199]，”存在“：[202]，”实用“：[217]，”当前“：[220]，”SMT-version“：[228]，”演示“：[232]，”有效性“：[234]，”on“：/235]，”基准。“：[237]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W213996327“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1}，“{“年”：2021，”“cited_by-count”“：3}，”“年”“：2020，”“引用_by_cont”“:4}，，”“年份”“2019，”年份“：2016，”引用by_count“：3}，{“年份”：2015，”引用by_count，“updated_date”：“2024-09-25T08:10:45.563156”，“创建日期”：“2016-06-24”}