{“id”：“https://openalex.org/W4296970324“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_13“，”title“：”40年后的等价性检查：互模拟工具综述“，”display_name“：”四十年后的等效性检查：对互模拟工具的回顾“，”publication_year“：2022，”publiation_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W4296970324“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_13“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_13“，”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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”review“，”type_crossref“：“book-chapter”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oaurl“：”https://inria.hal.science/hal-03920338/文档“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5022400989“，”display_name“：”Hubert Garavel“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I89963006“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I118618916","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I899635006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Hubert Garavel“，”raw _affiliation_strings“：[“格勒诺布尔阿尔卑斯大学，INRIA，CNRS，格勒诺尔INP，LIG，38000，格勒诺，法国”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5075433817“，”display_name“：”Fr\u00e9d\u00e9-ric Lang“，”orcid“：”https://orcid.org/0000-0002-5221-3353}，“机构”：[{“id”：https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I106785703“，”display_name“：”格勒诺布尔理工学院“，”ror“：”https://ror.org/05sbt2524“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I106785703","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I4210104430“，”display_name“：”Grenoble计算机科学实验室“，”ror“：”https://ror.org/01c8rcg82“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I106785703","https://openalex.org/I118618916","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}，{”id“：”https://openalex.org/I899635006“，”display_name“：”Universit\u00e9格勒诺布尔阿尔卑斯山“，”ror“：”https://ror.org/02rx3b187“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I89963006“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”FR\u00e9d\u00e9 ric Lang“，”raw _affiliation_strings“：[“格勒诺布尔阿尔卑斯大学，INRIA，CNRS，格勒诺贝利INP，LIG，38000，格勒诺，法国”]}]“countries_distiction_count”：1，“institutions_distric _count“：5，”corresponding_author_ids“：[]，”correcponding_institution_id ds“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“:5000，”货币“：”欧元“，”价值美元“：5391，”provance“：”doaj“{，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：4，”citecd_by_percentile_year“：{”min“：85”，“max”：87}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“213”，“last_page”：“265”}，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9979，”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.9973，“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/model-checking“，”display_name“：”模型检查“，”score“：0.582945}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.539265}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.532836}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.526043｝，｛”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.514513}]，”concepts“：[{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.8579145}，{”id“：”https://openalex.org/C96654402，“wikidata”：https://www.wikidata.org/wiki/Q5469962“，”display_name“：”形式等价性检查“，”level“：3，”score“：0.8350811}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.8081409}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.7010049}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.66112274}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6521343}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.61722267}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.56784534}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.55050516}，{”id“：”https://openalex.org/C2333172网址，“wikidata”：https://www.wikidata.org/wiki/Q1425985“，”display_name“：”Preorder“，”level“：2，”score“：0.5428517}，{”id“：”https://openalex.org/C70846408，“wikidata”：https://www.wikidata.org/wiki/Q220433“，”display_name“：”逻辑等价“，”level“：3，”score“：0.5151411}，{”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.4896691}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.4860168}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.48446774}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.4527455}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.4527349}，{”id“：”https://openalex.org/C9973445，“wikidata”：https://www.wikidata.org/wiki/Q8349849“，”display_name“：”同余关系“，”level“：2，”score“：0.43301797}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41729957}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.35884488｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3525563}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3351218}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2801686}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.12516692}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.08745703}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_13“，”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/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}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-03920338，“pdf_url”：https://inria.hal.science/hal-03920338/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-03920338/file/Garavel-Lang-22.pdf，“pdf_url”：https://hal.inia.fr/hal-03920338/file/Garavel-Lang-22.pdf“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-03920338，“pdf_url”：https://inria.hal.science/hal-03920338/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W100229751","https://openalex.org/W109112237","https://openalex.org/W144840820","https://openalex.org/W1481841467","https://openalex.org/W1483052882","https://openalex.org/W1483422122","https://openalex.org/W1483550678","https://openalex.org/W1485707770","https://openalex.org/W1486492733","https://openalex.org/W1487084731","https://openalex.org/W1489913013","https://openalex.org/W1491477330","https://openalex.org/W1492683468","https://openalex.org/W1494096004","https://openalex.org/W1494237684","https://openalex.org/W1495079723","https://openalex.org/W1496552468","https://openalex.org/W1496748552网址","https://openalex.org/W1498760855","https://openalex.org/W1499268855","https://openalex.org/W1499277573","https://openalex.org/W1499481996","https://openalex.org/W1500812389","https://openalex.org/W1501020965","https://openalex.org/W1501881008","https://openalex.org/W1502136239","https://openalex.org/W1503142164","https://openalex.org/W1503429725","https://openalex.org/W1503762954","https://openalex.org/W1506090769","https://openalex.org/W1507281497","https://openalex.org/W1507380329","https://openalex.org/W1507985299","https://openalex.org/W151375446","https://openalex.org/W1514954851","https://openalex.org/W1515514400","https://openalex.org/W1516139305","https://openalex.org/W1517157359","https://openalex.org/W1519494512","https://openalex.org/W1520593796","https://openalex.org/W1522645051","https://openalex.org/W1523766116","https://openalex.org/W1525386718","https://openalex.org/W1525478537","https://openalex.org/W1531571467","https://openalex.org/W1532337740","https://openalex.org/W1532477122","https://openalex.org/W1533440733","https://openalex.org/W1535246601","https://openalex.org/W1538068159","https://openalex.org/W1539535630","https://openalex.org/W1543600830","https://openalex.org/W1546797988","https://openalex.org/W1547205352","https://openalex.org/W1547562281","https://openalex.org/W1548132545","https://openalex.org/W1548876510网址","https://openalex.org/W1548929549","https://openalex.org/W1552902269","https://openalex.org/W1552983823","https://openalex.org/W1556669894","https://openalex.org/W1556977666","https://openalex.org/W1561620381","https://openalex.org/W1562046958","https://openalex.org/W1568473923","https://openalex.org/W1568920249","https://openalex.org/W1569472116","https://openalex.org/W1569535310","https://openalex.org/W1574045977","https://openalex.org/W1574289075","https://openalex.org/W1577437452","https://openalex.org/W1577673148","https://openalex.org/W1580405793","https://openalex.org/W1586460111","https://openalex.org/W1589276513","https://openalex.org/W1592916007","https://openalex.org/W1593284044","https://openalex.org/W1597655219","https://openalex.org/W1598591924","https://openalex.org/W1599684339","https://openalex.org/W1600824603","https://openalex.org/W1601028213","https://openalex.org/W1602925513","https://openalex.org/W1603153151","https://openalex.org/W1604282120","https://openalex.org/W1604495149网址","https://openalex.org/W1607803873","https://openalex.org/W1607941371","https://openalex.org/W1623270164","https://openalex.org/W1650179743","https://openalex.org/W1655053995","https://openalex.org/W1711877719","https://openalex.org/W1712589045","https://openalex.org/W1728128845","https://openalex.org/W1783091435","https://openalex.org/W1784183156","https://openalex.org/W1792348946","https://openalex.org/W1800218686","https://openalex.org/W1815953705","https://openalex.org/W1844821597","https://openalex.org/W1847383708","https://openalex.org/W1850929791","https://openalex.org/W1862398452","https://openalex.org/W1863150103","https://openalex.org/W1863244539","https://openalex.org/W1864649459","https://openalex.org/W1869716833","https://openalex.org/W1874725288","https://openalex.org/W1955679363","https://openalex.org/W1958541773","https://openalex.org/W1965674893","https://openalex.org/W1968049993","https://openalex.org/W1971107784","https://openalex.org/W1973642705","https://openalex.org/W1974808887","https://openalex.org/W1976268573","https://openalex.org/W1978096847","https://openalex.org/W1979462141","https://openalex.org/W1980377655","https://openalex.org/W1980824962","https://openalex.org/W1985161650","https://openalex.org/W1987298286","https://openalex.org/W1992008267","https://openalex.org/W1994350081","https://openalex.org/W1995172395","https://openalex.org/W1995736448","https://openalex.org/W1997488984","https://openalex.org/W1999706742","https://openalex.org/W2000586259","https://openalex.org/W2001748564","https://openalex.org/W2001997240","https://openalex.org/W2003908699","https://openalex.org/W2004010403","https://openalex.org/W2007809070","https://openalex.org/W2010698657","https://openalex.org/W2013380671","https://openalex.org/W2013672985","https://openalex.org/W2016626678","https://openalex.org/W2016748987","https://openalex.org/W2020618022","https://openalex.org/W2021473546","https://openalex.org/W2022574595","https://openalex.org/W2023499821","https://openalex.org/W2031016532","https://openalex.org/W2037076167","https://openalex.org/W2038139036","https://openalex.org/W2040470996","https://openalex.org/W2041669452","https://openalex.org/W2044921196","https://openalex.org/W2046066316","https://openalex.org/W2051727957","https://openalex.org/W2054858104","https://openalex.org/W2057623054","https://openalex.org/W2058912587","https://openalex.org/W2061096138","https://openalex.org/W2062081943","https://openalex.org/W2062969942","https://openalex.org/W2068361557","https://openalex.org/W2072538510","https://openalex.org/W2078508239","https://openalex.org/W2078614932","https://openalex.org/W2080267935","https://openalex.org/W2081068412","https://openalex.org/W2085912345","https://openalex.org/W2086668909","https://openalex.org/W2087819600","https://openalex.org/W2089349269","https://openalex.org/W2091177009","https://openalex.org/W2094487304","https://openalex.org/W2097948177网址","https://openalex.org/W2100580381","https://openalex.org/W2101508170","https://openalex.org/W2102097307","https://openalex.org/W2103438440","https://openalex.org/W2104925315","https://openalex.org/W2107144615","https://openalex.org/W2107482622","https://openalex.org/W2108293102","https://openalex.org/W2108746194","https://openalex.org/W2113227344","https://openalex.org/W2116127628","https://openalex.org/W2118956464","https://openalex.org/W2119275622","https://openalex.org/W2122809061","https://openalex.org/W2124325155","https://openalex.org/W2125656483","https://openalex.org/W2126214140","https://openalex.org/W2126438238","https://openalex.org/W2126506540","https://openalex.org/W2126519460","https://openalex.org/W2128932399","https://openalex.org/W2130413791","https://openalex.org/W2130793115","https://openalex.org/W2130820909","https://openalex.org/W2131029465","https://openalex.org/W2135142990","https://openalex.org/W2137865376","https://openalex.org/W2141823988","https://openalex.org/W2142718416","https://openalex.org/W2145096688","https://openalex.org/W2155707149","https://openalex.org/W2156452623","https://openalex.org/W2157144873","https://openalex.org/W2158942489","https://openalex.org/W2159763578","https://openalex.org/W2159899487","https://openalex.org/W2160181753","https://openalex.org/W2160883697","https://openalex.org/W2161411257","https://openalex.org/W2162522128","https://openalex.org/W2164892954","https://openalex.org/W2165418448","https://openalex.org/W2166062474","https://openalex.org/W2166150286","https://openalex.org/W2166422915","https://openalex.org/W2168615519","https://openalex.org/W2168682577","https://openalex.org/W2170486827","https://openalex.org/W2231202055","https://openalex.org/W2275875238","https://openalex.org/W2309223500","https://openalex.org/W2323870311","https://openalex.org/W2330102972","https://openalex.org/W2332708479","https://openalex.org/W2396868945","https://openalex.org/W2402642317","https://openalex.org/W2410243683","https://openalex.org/W2464857490","https://openalex.org/W2472516302","https://openalex.org/W2474862751","https://openalex.org/W2528654130","https://openalex.org/W2534303543","https://openalex.org/W2613475964","https://openalex.org/W2660972524","https://openalex.org/W2663462053","https://openalex.org/W2695253840","https://openalex.org/W2710510407","https://openalex.org/W2738873964","https://openalex.org/W2742106719","https://openalex.org/W2756011084","https://openalex.org/W2757839910","https://openalex.org/W2765125579","https://openalex.org/W2795651596","https://openalex.org/W2810491896","https://openalex.org/W2888310793","https://openalex.org/W2888823650","https://openalex.org/W2889056252","https://openalex.org/W2910500738","https://openalex.org/W2911867855","https://openalex.org/W2912916339","https://openalex.org/W2913663755","https://openalex.org/W2931334490","https://openalex.org/W2959774828","https://openalex.org/W2974312940","https://openalex.org/W2980227841","https://openalex.org/W2984861660","https://openalex.org/W3016368599","https://openalex.org/W3123797328","https://openalex.org/W3213291595","https://openalex.org/W34543174","https://openalex.org/W3820865","https://openalex.org/W4206815346","https://openalex.org/W4211046677","https://openalex.org/W4212967532","https://openalex.org/W4230164823","https://openalex.org/W4232930612","https://openalex.org/W4241327961","https://openalex.org/W4242288352","https://openalex.org/W4254439254","https://openalex.org/W4297062422","https://openalex.org/W45613378","https://openalex.org/W47944663","https://openalex.org/W59365162","https://openalex.org/W66418005“]，”related_works“：[”https://openalex.org/W3020829080","https://openalex.org/W2728756936","https://openalex.org/W2583551482","https://openalex.org/W2389474774","https://openalex.org/W2171788740","https://openalex.org/W2115941521","https://openalex.org/W2096883545","https://openalex.org/W2084118108","https://openalex.org/W1820233200","https://openalex.org/W1540576960“]，”ngrams_url“：”https://api.openalex.org/works/W4296970324/ngrams网站“，”“abstract_inverted_index”：{“等价”：[0]，“检查”：[1,53,80]，“是”：[2,25]，“a”：[3,95]，“形式”：[4]，“验证”：[5]，“方法”：[6]，“that”：[7,11,23]，“包含”：[8]，“in”：[9,27103]，“证明”：[10]，“两个”：[12]，“程序”：[13]，“或”：[14,22,65]，“模型”：[15]，：[16,41,54,69,81]，“相关”：[17]，“模”：[18,30]，“一些”：[19,31]，“等价“：[20,52,79112]，”关系“：[21]，”一“：[24]，”包含“：[26]，”该“：[28,35,48,61,75104]，”其他“：[29]，”前序“：[32]，”关联。“：[33]，“In”：[34,60]，“case”：[36,62]，“of”：[37,63,98101106]，“concurrent”：[38]，“systems”，“：[39,47,67]，“which”：[40,68]，“commery”：[42]，“represented”：[43,71]，“using”：[44,72]，“labeled”：[45]，“transition”：[46]，“relations”：[49,76]，“use”：[50,77]，“for”：[51,78111]，“bisimulatitation”on“：[55]，”和“：[56,84,87108]，”它们的“：[57,88]，”模拟“：[58]，”预订单。“：[59,90]，”概率“：[64,83]，”随机“：[66,85]，”通常“：[70]，”马尔可夫“：[73]，”链“：[74]，”集总能力“：[82]，”等价物“：[86]，”关联“：[89]，”The“：[91]，”present“：[92]，”article“：[93]，”provides“：[94]，”synthetical“：[96]，”overview“：[97]，”40“：[99]，”years“：[100]，”research“：[102]，“设计”：[105]，“算法”：[107]，“软件”：[109]，“工具“：[110]，”检查。“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4296970324”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：1｝，｛“year”：2023，“cited_by_count”：3｝]，“updated_date”：“2024-05-23T14:10:42.503060”，“created_date”：“2022-09-25”｝