{“id”：“https://openalex.org/W4366453422“，”doi“：”https://doi.org/10.1007/978-3-031-30820-8_18“，”title“：“不平衡回路的锁步合成”，“display_name”：“不均衡回路的锁步合成”，”publication_year“：2023，”publiation_date“：”2023-01-01“，”ids“：{”openalex“：”https://openalex.org/W4366453422“，”doi“：”https://doi.org/10.1007/978-3-031-30820-8_18“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-30820-8_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_18.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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_18.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5087044788“，”display_name“：”Ameer Hamza“，”orcid“：”https://orcid.org/0000-0001-7341-0412}，“机构”：[{“id”：https://openalex.org/I103163165“，”display_name“：”佛罗里达州立大学“，”ror“：”https://ror.org/05g3dte14“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I103163165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ameer Hamza“，”raw _ afiliation_strings“：[“佛罗里达州塔拉哈西佛罗里达州立大学，佛罗里达州，美国”]，”affiliations“：[{”raw _affiliation_string“：”佛罗里达州塔拉哈西佛罗里达州州立大学，美国”，“institution_ids”：[“https://openalex.org/I103163165“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5027818967“，”display_name“：”Grigory Fedyukovich“，”orcid“：”https://orcid.org/0000-0003-1727-4043}，“机构”：[{“id”：https://openalex.org/I103163165“，”display_name“：”佛罗里达州立大学“，”ror“：”https://ror.org/05g3dte14“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I103163165“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Grigory Fedyukovich“，”raw _ afiliation_strings“：[“佛罗里达州立大学，佛罗里达州塔拉哈西”]，”affiliations“：[{”raw_ afiliation _string“：”佛罗里达州塔拉哈西，美国“，”institution_ids“：[https://openalex.org/I103163165“]}]}]，”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“：{”value“：5000，“currencurrency”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“fwci”：空，“has_fulltext”：真，“fulltext_origin”：“pdf”，“cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：77}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“270”，“last_page”：“288”}，”is_retracted“：false，”is_paratext“：false，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9992，“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/program-repair网站“，”display_name“：”Program Repair“，”score“：0.552105｝，｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.551406}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.52243}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.506223}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8023397}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.67615104}，{”id“：”https://openalex.org/C184670325，“wikidata”：https://www.wikidata.org/wiki/Q512604“，”display_name“：”Loop（图论）“，”level“：2，”score“：0.5381087}，{”id“：”https://openalex.org/C2778112365，“wikidata”：https://www.wikidata.org/wiki/Q3511065“，”display_name“：”Sequence（biology）“，”level“：2，”score“：0.4893648}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661（网址：https://www.wikidata.org/wiki/Q673661）“，”display_name“：”抽象“，”级别“：2，”分数“：0.4776234}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.43129107}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.42597246｝，｛”id“：”https://openalex.org/C143724316，“wikidata”：https://www.wikidata.org/wiki/Q312468“，”display_name“：”系列（地层）“，”level“：2，”score“：0.42510197}，{”id“：”https://openalex.org/C159694833，“wikidata”：https://www.wikidata.org/wiki/Q2321565“，”display_name“：”迭代方法“，”level“：2，”score“：0.4173763}，{”id“：”https://openalex.org/C2778361913，“wikidata”：https://www.wikidata.org/wiki/Q7248437“，”display_name“：”程序转换“，”level“：2，”score“：0.41121894}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36954147}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.35971573}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.14639455}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.13530236}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.06270647}，{”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/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”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/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-30820-8_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_18.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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-031-30820-8_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_18.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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1480909796","https://openalex.org/W1545038039","https://openalex.org/W1587844310","https://openalex.org/W1750827721","https://openalex.org/W1771925833","https://openalex.org/W1806382567","https://openalex.org/W2013156670","https://openalex.org/W2039222548","https://openalex.org/W2067871120","https://openalex.org/W2074888021","https://openalex.org/W2138224468","https://openalex.org/W2372108779","https://openalex.org/W2512875025","https://openalex.org/W2554831868","https://openalex.org/W2748925796","https://openalex.org/W2751641401","https://openalex.org/W2766473379","https://openalex.org/W2954725723","https://openalex.org/W2960656136","https://openalex.org/W2965927083","https://openalex.org/W2988764808","https://openalex.org/W3010314744","https://openalex.org/W3087458664网址","https://openalex.org/W3098557859","https://openalex.org/W3109826332","https://openalex.org/W3119305140","https://openalex.org/W3164004581","https://openalex.org/W3169500179","https://openalex.org/W3174887443","https://openalex.org/W3186533773","https://openalex.org/W4226455345","https://openalex.org/W4233294977","https://openalex.org/W4239392788","https://openalex.org/W4243595900","https://openalex.org/W4251192040","https://openalex.org/W4308644101","https://openalex.org/W57185801","https://openalex.org/W95169743“]，”related_works“：[”https://openalex.org/W4313163053网址","https://openalex.org/W4300973204","https://openalex.org/W3045811229","https://openalex.org/W278680301","https://openalex.org/W24774503","https://openalex.org/W2144996318","https://openalex.org/W2130642229","https://openalex.org/W2045155990","https://openalex.org/W2014821076","https://openalex.org/W1483408780“]，”ngrams_url“：”https://api.openalex.org/works/W4366453422/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“Equivalence”：[1]，“checking”：[2,50]，“of”：[3,13,39,52,63,75,86,91124155]，“two”：[4147]，“programs”：[5,21,31]，“is”：[6,27118]，“commery”：[7]，“reduced”：[8]，“to”：[9,83,95]，“the”：[10,30,37,69,80,96106122140158]，“safety”：[11]，“verification”“：[12]，”a“：[14,53,57,61,73,84119]，”所谓的“：[15]，”产品“：[16]，”程序“：[17,55,58]，”that“：[18131162]，”aligns“：[19]，”in“：[22135]，”lockstep。“：[23136]，”“然而，”：[24]，“this”：[25]，“strategy”：[26]，“not”：[28]，“applicable”：[29]，“when”：[30]，“have”：[32138]，“arbitral”：[33]，“loop”：[34,71]，“structures”：[35]，“example，”：[36]，“numbers”：[38154]，“循环”：[40,77108125156]，“vary。“：[41]，“We”：[42137]，“introduce”：[43]，“an”：[44]，“automatic”：[45]，“interactive”：[46]，“abstration-refine-based”：[47]，“technology”：[48]，“for”：[49,89121]，“equivalence”：【51】，“single loop”：【54】，“and”：【56109128142157】，“which”：【59】，“has”：【60】，“series”：【62，85】，“conceduated”：【64】，“loops”。“：[65,92]，”我们的“：[66115]，”方法“：[67103141]，”分解“：[68]，”单个“：[70]，”到“：[72]，”序列“：[74]，”分离“：[76]，”因此“：[78]，”减少“：[79]，”主要“：[81]，”问题“：[82]，”等价检查“：[87]，”难题“：[88,99]，”对“：[90]，”自“：[93]，”到期“：[94]，”拆分，“：[97]，”这些“：[98]，”成为“：[100]，”抽象“：[101]，”我们的“：[102]，”迭代地“：[104]，”细化“：[105]，”分解“：[107]，”提升“：[110]，”有用“：[111]，”信息“：[112]，”跨越“：[113]，”它们。“：[114]，”第二个“：[116]，”贡献“：[117]，”过程“：[120]，”对齐“：[123]，”with“：[126150]，”counters“：[127]，”explicit“：[129]，”bounds“：[130]，”canable“：[132]，”be“：[133]，”composited“：[134]，”implemented“：[139]，”successfully“：[143]，”evaluateded“：%144]，”it“：%145]，”on“：[146]，”suites，“：[148]，”one“：[149]，“基准”：[151161]，“包含”：[152160]，“不同“：[153]，”其他“：[159]，”需要“：[163]，”对齐。“：[164]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4366453422“，”counts_by_year“：[]，”updated_date“：”2024-06-28T03:21:25.254772“，”created_date:“2023-04-22”}“