{“id”：“https://openalex.org/W2487423667“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_43“，”title“：”Ultimate Automizer with Array Interpolation“，”display_name“：”Extimate Automisser with Array Interpolotation“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W2487423667“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_43“，”mag“：”2487423667“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46681-0_43“，”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，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”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“：false，”raw_author_name“：”Matthias Heizmann“，”raw关联字符串“：[“德国弗莱堡弗莱堡大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5011381866“，”display_name“：”Daniel Dietsch“，”orcid“：”https://orcid.org/0000-0002-8947-5373}，“机构”：[{“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“：”Daniel Dietsch“，”raw关联字符串“：[“德国弗莱堡弗莱堡大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090592321“，”display_name“：”Jan Leike“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]｝]，”countries“：[”AU“]，”is_correresponsing“：false，”raw_author_name“：”Jan Leike“，”raw_affiation_strings“：[”澳大利亚国立大学，堪培拉“]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5034757642“，”display_name“：”Betim Musa“，”orcid“：null}，”institutions“：[{”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“：”Betim Musa“，”raw _ afiliation_strings“：[“德国弗莱堡弗莱堡大学”]}，{“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“：[“德国弗莱堡弗莱堡大学”]}]，”countries _ distinct_count“：2，”institutions _ disting_count value_usd“：5392，”出处：“doaj”}，“apc_payed”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doj}，”has_fulltext“：false，”cited_by_count“：16，”cited_by_percentile_year“：{”min“：90，”max“：91}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“455”，“last_page”：“45”}、“is_retracted”“：false，”is_paratext“：fase，”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.9997，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”Software“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”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/automated-testing（https://openalex.org/keywords/automated-testing）“，”display_name“：”自动测试“，”score“：0.516364}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.507515}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.506166}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.8320991}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.80610245}，{”id“：”https://openalex.org/C137800194，“wikidata”：https://www.wikidata.org/wiki/Q11713455“，”display_name“：”插值（计算机图形）“，”level“：3，”score“：0.74103457}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772“，”display_name“：”Scheme（数学）“，”level“：2，”score“：0.5719006}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.5717374}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5565665}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.50770915}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677网址“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.48945796}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.48174596}，{”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.43592522}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42946655}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37388277}，{”id“：”https://openalex.org/C121684516，“wikidata”：https://www.wikidata.org/wiki/Q7600677“，”display_name“：”计算机图形（图像）“，”level“：1，”score“：0.20415714}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.16043371}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：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/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C502989409，“wikidata”：https://www.wikidata.org/wiki/Q11425“，”display_name“：”Animation“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46681-0_43“，”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，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：5，“referenced_works“：[”https://openalex.org/W1875182499","https://openalex.org/W2149907859","https://openalex.org/W2230554596","https://openalex.org/W286513891","https://openalex.org/W4253182982“]，”related_works“：[”https://openalex.org/W4287742608","https://openalex.org/W3095160120","https://openalex.org/W3039941228","https://openalex.org/W2368796975","https://openalex.org/W2166969310","https://openalex.org/W2139989305","https://openalex.org/W2129828425","https://openalex.org/W2117618670","https://openalex.org/W2098765445","https://openalex.org/W1486144438“]，”ngrams_url“：”https://api.openalex.org/works/W2487423667/ngrams网站“，”“abstract_inverted_index”：{“Ultimate”：[0]，“Automizer”：[1]，“is”：[2,8,36]，“a”：[3,48]，“software”：[4]，“verification”：[5]，“tool”：[6,29,68]，“that”：[7,51]，“able”：[9]，“to”：[10,38,69]，“analyze”：[11]，“reachability”：[12]，“of”：[13,21,74]，“an”：[14,31]，“error”：[15]，“标签”：[16]，“内存”：[17]，“安全”：[18]，“和”：[19,59]，“终止”：[20]，“C”：[22]，“程序。“：[23]，”对于“：[24]，”所有“：[25]，”三“：[26]，”任务“，：[27]，”我们的“：[28,67]，”跟随“：[30]，”基于自动机“：[32]，”方法“：[33]，”其中“：[34]，”插值“：[35]，”使用“：[37]，”计算“：[39]，”证明“：[40]，”用于“：[41]，”记录道。“：[42]，”The“：[43]，”interplants“：[44]，”are“：[45]，”generated“：[46]，”via“：[47]，”new“：[49，64]，”scheme“：[50，65]，”requires“：[52]，”only“：[53]，”The“：[54，71]，”post“：[55]，”operator“：[56]，”不可满足“：[57]，”cores“：[58]，”live“：[60]，”variable“：[61]，”analysis。“：[62]，”此“：[63]，”启用“：[66]，”使用“：[70]，”SMT“：[72]，”理论“：[73]，”数组“：[75]，”in“：[76]，”组合“：[77]，”with“：[78]，”插值。“：[79]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2487423667“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2022，”“cited_by_cunt”：1'，{”“年”“：2020，”“cited_by-count”“：2}，”“年份”“：2018，”“icted_by/count”（引用的_by_cont）：4}，“年份”ated_date“：”2024-05-22T13:18:20.754824“，”创建日期“：”2016-08-23“}