{“id”：“https://openalex.org/W1897875017“，”doi“：”https://doi.org/10.1007/978-3-319-15579-1_2“，”title“：“自动程序验证”，”display_name“：”自动程序验证“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W1897875017“，”doi“：”https://doi.org/10.1007/978-3-319-15579-1_2“，”mag“：”1897875017“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-15579-1_2“，”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/A5016276143“，”display_name“：”Azadeh Farzan“，”兽人“：”https://orcid.org/0000-0001-9005-2653}，“机构”：[{“id”：https://openalex.org/I185261750“，”display_name“：”多伦多大学“，”ror“：”https://ror.org/03dbr7087“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I185261750“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Azadeh Farzan“，”raw _ afiliation_strings“：[“加拿大多伦多大学”]，”affiliations“：[{”raw_ afiliation _string“：”加拿大多伦多多伦多大学“，”institution_ids“：[https://openalex.org/I185261750“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5077581460“，”display_name“：”Matthias Heizmann“，”orcid“：”https://orcid.org/0000-0003-4252-3558}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Matthias Heizmann“，”raw _ afiliation_strings“：[“弗莱堡大学，弗莱堡-布雷斯高，德国”]，”affiliations“：[{”raw _affiliation_string“：”弗莱堡，弗莱伯格-布雷斯高，德国”，“institution_ids”：[“https://openalex.org/I161046081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041119437“，”display_name“：”Jochen Hoenicke“，”orcid“：”https://orcid.org/0000-0002-6314-1041}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Jochen Hoenicke“，”raw _ afiliation_strings“：[“弗莱堡大学，弗莱堡-布雷斯高，德国”]，”affiliations“：[{”raw _affiliation_string“：”弗莱堡，弗莱伯格-布雷斯高，德国”，“institution_ids”：[“https://openalex.org/I161046081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041698482“，”display_name“：”Zachary Kincaid“，”orcid“：”https://orcid.org/0000-0002-7294-9165}，“机构”：[{“id”：https://openalex.org/I185261750“，”display_name“：”多伦多大学“，”ror“：”https://ror.org/03dbr7087“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I185261750“]｝]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Zachary Kincaid“，”raw_affiation_strings“：[”加拿大多伦多大学“]，”附属机构“：[｛”raw_affiation_string“：”加拿大多伦多大学“，”institution_ids“：[”https://openalex.org/I185261750“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5062411838“，”display_name“：”Andreas Podelski“，”orcid“：”https://orcid.org/0000-0003-2540-9489}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Andreas Podelski“，”raw _ afiliation_strings“：[“弗莱堡大学，弗莱堡-布雷斯高，德国”]，”affiliations“：[{”raw _affiliation_string“：”弗莱堡学院，弗莱伯格-布雷斯高斯，德国”，“institution_ids”：[“https://openalex.org/I161046081“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5077581460“]，”对应的机构ID“：[”https://openalex.org/I161046081“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：3.102，”has_fulltext“：false，”cited_by_count“：11，”cited_by_percentile_year“：{“min”：88，“max”：89}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“25”，“last_page”：“46”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“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.9997，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.564727}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.558043}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.522992}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.52112｝，｛”id“：”https://openalex.org/keywords/program-repair网站“，”display_name“：”程序修复“，”score“：0.502583}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5947186}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4267851}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.40215158}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-15579-1_2“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：20，“referenced_works“：[”https://openalex.org/W1530375435","https://openalex.org/W1542502949","https://openalex.org/W169526355","https://openalex.org/W1841626152","https://openalex.org/W1843794072","https://openalex.org/W2051897343","https://openalex.org/W2056665285","https://openalex.org/W2080573945","https://openalex.org/W2081396910","https://openalex.org/W208812834","https://openalex.org/W2090547808","https://openalex.org/W2108987498","https://openalex.org/W2131886132","https://openalex.org/W2149907859","https://openalex.org/W2177814128","https://openalex.org/W2230554596","https://openalex.org/W286513891","https://openalex.org/W3015862912","https://openalex.org/W4250583308","https://openalex.org/W4253182982“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W1897875017/ngrams网站“，”abstract_inverted_index“：{”A“：[0,81]，”new“：[1]，”approach“：[2,40,63]，”to“：[3,42]，”program“：[4]，”verification“：[5,17]，”is“：[6,41,85,98]，”based“：[7]，“on”：[8,15]，”automata.“：[9]，”The“：[10,39133]，”concept“：[11]，”of“：[12,61,68,75,79,83123]，”自动机“：[13,46,70134]，”依赖“：[14]，”该“：[16,48,62,66,87137]，”问题“：[18]，”位于“：[19,86]，”hand“：[20]，”（嵌套“：[21]，”word“：[22,91112]，”automata“：[23,27,34,57]，”for“：[24,28,35,47]，”recursion“：[25]，”B\u00fcchi“：[26]，”termination“：[29]，”a“：[30,72,76,90,93104111121126130]，”form“：[31]，”data“：[3]，”parametrized“：[36]，”programs“：[37]，”等）。“：[38]，”first“：[43]，”construct“：[44]，”an“：[45,69114]，”candidate“：%49]，”proof“：[50,74128]，”and“：[51,96]，”then“：[52]，”check“：[53]，”its“：[54]，”validity“：[55]，”via“：[56]，”includion“。“：[58]，”独创性“：[60]，”谎言“：[64]，”in“：[65]，”construction“：[67]，”from“：[71]，”corrective“：[73127]，”given“：[77]，”sequence“：[78,82122]，”statements。“：[80]，”语句“：[84124]，”相同“：[88]，”时间“：[89]，”超过“：[92]，”有限“：[94]，”字母表“：[95]，”它“：[97]，”（a“：[99]，”非常“：[100]，”简单“：[101]，”case“：[102]，”of）“：[103]，”程序。“：[105]，“Just”：[106]，“as”：[107]，“we”：[108117]，“ask”：[109119]，“ift”：[110120]，“has”：[113125]，“acceptance”：[115]，“run”，“：[116]，“can”：[118]，“（of”：[129]，“sequent”：[131]，“form）。“：[132]，”接受“：[135]，”完全“：[136]，”序列“：[138]，”该“：[139]，”做。“：[140]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1897875017”，“counts_by_year”：[｛“year”：2020，“cited_by_count”：1｝，｛“year”：2019，“cited_by_count”：4｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：2｝，｛“year”：2016，“cited_by_count”：2｝，｛“year”：2015，“cited_by_count”：1｝]，“updated_date”：“2024-06-28T11:24:0.461401”，“created_date”：“2016-06-24“｝