{“id”：“https://openalex.org/W1544607874网址“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_12“，”title“：”on-the-Fly Verification Algorithms注释“，”display_name“：”An-the-Flay Verification算法注释“，“publication_year”：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1544607874“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_12“，”mag“：”1544607874“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_12.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/P431031965","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-540-31980-1_12.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5040146683“，”display_name“：”Stefan Schwoon“，”orcid“：”https://orcid.org/0000-0001-6622-6510}，“机构”：[{“id”：https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stefan Schwoon“，”raw _affiliation_strings“：[“Institute f\u00fcr Formal Methoden der Informatik，University\u00e4t Stuttgart，”]，”affiliations“：[{”raw_affiliation_string“：”Institutes f\u000fcr Formale Methoden-der Informatic，University \u00e4t Sturtgart“，”，“institution_ids”：[”https://openalex.org/I100066346“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5090378914“，”display_name“：”哈维尔·埃斯帕尔扎“，”兽人“：”https://orcid.org/0000-0001-9862-4919}，“机构”：[{“id”：https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Javier Esparza“，”raw _ afiliation_strings“：[“Institute f \u00fcr Formale Methoden der Informatik，University \u00e4t Stuttgart，”]，”affiliations“：[{”raw _affiliation_string“：”Institutes f \u00 fcr Formal Methoden-der Informatic，University\u00e 4t Stugart，“，”institution_ids“：[https://openalex.org/I100066346“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：6.327，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：121，”引用规范化百分比“：{”value“：0.999517，”is_in_top_1_percent“：true，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：97，”max“：98}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“174”，“last_page”：“190”}，‘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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9982，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9937，“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/onnafly网站“，”display_name“：”On-the-fly“，”score“：0.7409875}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.570885}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.533073}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.530485｝，｛”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.514874}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.507708}，{”id“：”https://openalex.org/关键字/b\u00fcchi-automaton“，”display_name“：”B\u00fchi-automator“，”score“：0.5003829}，{”id“：”https://openalex.org/keywords/hybrid-automaton网站“，”display_name“：”Hybrid automaton“，”score“：0.41034454}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.78297037}，{”id“：”https://openalex.org/C2781020372，“wikidata”：https://www.wikidata.org/wiki/Q533093“，”display_name“：”On-the-fly“，”level“：2，”score“：0.7409875}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7201946｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.6828575}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.5301403}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.5003829}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.4719495}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”有限状态机“，”level“：2，”score“：0.46425515｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44475317}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.43682474}，{”id“：”https://openalex.org/C2776028153，“wikidata”：https://www.wikidata.org/wiki/Q5953179“，”display_name“：”混合自动机“，”level“：3，”score“：0.41034454}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.33821845}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14599484}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_12.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/P431031965","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-540-31980-1_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_12.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/P431031965","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“：25，”https://openalex.org/W1489260687","https://openalex.org/W1507116188","https://openalex.org/W1541059630","https://openalex.org/W1583487553","https://openalex.org/W1599932478","https://openalex.org/W1607782211","https://openalex.org/W1930640507","https://openalex.org/W1943502734","https://openalex.org/W1965309410","https://openalex.org/W1977553951","https://openalex.org/W2006406722","https://openalex.org/W2012935476","https://openalex.org/W2028782479","https://openalex.org/W2033071128","https://openalex.org/W2063322187","https://openalex.org/W2075410688","https://openalex.org/W2084063516","https://openalex.org/W2114817689","https://openalex.org/W2117189826","https://openalex.org/W2118382442","https://openalex.org/W2128045813","https://openalex.org/W2146706022","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W68069235“]，”related_works“：[”https://openalex.org/W3087272834","https://openalex.org/W2145225595","https://openalex.org/W2127219675","https://openalex.org/W2120954098","https://openalex.org/W2120347230","https://openalex.org/W2109003011","https://openalex.org/W2058677843","https://openalex.org/W1645283535","https://openalex.org/W1533908838","https://openalex.org/W1515514400“]，”abstract_inverted_index“：{”The“：[0]，”automata-theoryal“：[1]，”approach“：[2]，”to“：[3]，”LTL“：[4]，”verification“：[5]，”依赖“：[6]，”on“：[7,51,57]，”an“：[8]，”algorithm“：[9,49]，”for“：[10,39]，”finding“：[11]，”acceptance“：[12]，”cycles“：[13]，”in“：[14]，7]，“B\u00fcchi”：[16]，“automaton.”：[17]，《显式状态》：[18]，“模型”：[19]，“checkers”：[20]，“通常是“：[21]，“construct”：[22]，“the”：[23,26]，“automaton”：[24]，“on”：/25]，“fly”：[27]，“and”：[28,42,54,67,69]，“explore”：[29]，“its”：[30]，“states”：[31]，“using”：[32]，“depth-first”：[33]，“search”。“：[34]，“我们”：[35,61]，“调查”：[36]，“算法”：[37,64,74]，“建议”：[38]，“这个”：[40]，“目的”：[41]，“识别”：[43]，“两个”：[44]，“好”：[45]，“运算法则”：[46]，“新”：[48]，“基于”：[50,56]，“嵌套”：[52]，“DFS，”：[53]，“另一个”：55]，“强”：[58]，“连接”：[59]，“组件。“：[60]，”比较“：[62]，”这些“：[63]，”两者“：[65,73]，”理论“：[66]，”实验“：[68]，”确定“：[70]，”案例“：[71]，”其中“：[72]，”可以“：[75]，”是“：[76]，”有用。“：[77]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1544607874“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：1}，{“年”：2021，”cited_bycount“:5}，“年”:2020，”citecd_by_count“年份”：2017，“引用_ by_count”：5}，{“年份”:2016，“引用_by_counts”：7}，}“年份“：2015，”引用_ by-count“：9}，{“年份”：2014，“引用_ by_count”：10}，{”年份”：2013，“引用_by_counts”：9}，}”年份“：2012，“引用的_by_cunt”：6}]，“更新日期”：“2024-09-10T14:13:58.368476”，“创建日期”：”2016-06-24“}