{“id”：“https://openalex.org/W104124984“，”doi“：”https://doi.org/10.1007/978-3-642-30793-5_16“，”title“：“使用McErlang验证定时Erlang程序”，“display_name”：“使用麦克尔朗验证定时ErLan程序”、“publication_year”：2012，“publication_date”：“2012-01-01”，“ids”：{“openalex”：“https://openalex.org/W104124984“，”doi“：”https://doi.org/10.1007/978-3-642-30793-5_16“，”mag“：”104124984“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-30793-5_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_16.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%2F978-3-642-30793-5_16.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5079166867“，”display_name“：”克拉拉·贝纳克·厄尔“，”兽人“：”https://orcid.org/0000-0002-8629-5289}，“机构”：[{“id”：https://openalex.org/I88060688“，”display_name“：”马德里政治大学“，”ror“：”https://ror.org/03n6nwv02“，”country_code“：”ES“，”type“：”教育“，”血统“：[”https://openalex.org/I88060688“]｝]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Clara Benac Earle“，”raw_affiation_string“：[”巴贝尔集团，DLSIIS，Facultad de Inform\u00e1tica，Universidad Polit \u00e9cnica de Madrid，西班牙“]，”附属机构“：[｛”raw_affiation_string“：”巴贝尔集团，DLSIIS，Facultad de Inform\u00e1tica，Universidad Polit \u00e9cnica de Madrid，西班牙”，“机构ID”：[https://openalex.org/I88060688“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048436076“，”display_name“：”Lars\u2013\u00c5ke Fredlund“，”orcid“：”https://orcid.org/0000-0002-8296-4609}，“机构”：[{“id”：https://openalex.org/I88060688“，”display_name“：”马德里政治大学“，”ror“：”https://ror.org/03n6nwv02“，”country_code“：”ES“，”type“：”教育“，”血统“：[”https://openalex.org/I88060688“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Lars-\u00c5ke Fredlund“，”raw _ afiliation_strings“：[“Babel group，DLSIIS，Facultad de Inform\u00e1tica，Universidad Polit\u00e 9cnica de Madrid，Spain”]，“afliations”：[{“raw_affiliation_string”：“Babel group，DLSIIS，Facultad de Inform \u00e1tica，Universidad Politive \u00e 9cnica de Madrid，西班牙马德里大学”，“institution_ids”：[“https://openalex.org/I88060688“]}]}]，”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“：0.841，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：6，”cited_by_percentile_year“：{”min“：83，”max“：84}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”251“，”last_page“：”267“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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.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.9975，“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.590334｝，｛”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.532524}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.52164}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.514901}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.51193}]，”concepts“：[{”id“：”https://openalex.org/C82484044，“wikidata”：https://www.wikidata.org/wiki/Q334879“，”display_name“：”Erlang（编程语言）“，”level“：3，”score“：0.8898028}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8405081}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.75180745}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6840188}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.49497837}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.2302379}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-30793-5_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_16.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}，{“is_oa”：true，“landing_page_url”：“https://inria.hal.science/hal-01528738，“pdf_url”：https://inria.hal.science/hal-01528738/document（英文）“，”source“：null，”license“：”cc-by“，”licence_id“：”https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-30793-5_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-30793-5_16.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“：[{”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“，”score“：0.63}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：【”https://openalex.org/W1535261163","https://openalex.org/W1545929464","https://openalex.org/W1547190774","https://openalex.org/W1554376394","https://openalex.org/W1962072139","https://openalex.org/W1993665902","https://openalex.org/W2000947342","https://openalex.org/W2064882275","https://openalex.org/W2093500367","https://openalex.org/W2101508170","https://openalex.org/W2115309705","https://openalex.org/W2116127628","https://openalex.org/W2124478662","https://openalex.org/W2130773382","https://openalex.org/W2134424614","https://openalex.org/W2135465691","https://openalex.org/W2763069638","https://openalex.org/W3150296716“]，”related_works“：[”https://openalex.org/W4232016220","https://openalex.org/W3193352093","https://openalex.org/W2788308474","https://openalex.org/W2748952813","https://openalex.org/W2179534325","https://openalex.org/W2145406432","https://openalex.org/W2132325017","https://openalex.org/W1518945670","https://openalex.org/W1518714595","https://openalex.org/W121452686“]，”ngrams_url“：”https://api.openalex.org/works/W104124984/ngrams“，”“abstract_inverted_index”：{“There”：[0]，“is”：[1,30110]，“a”：[2,66,83103111]，“large”：[3]，“number”：[4104]，“of”：[5,40105]，“works”：[6]，“that”：[7]，“apply”：[8]，“model”：[9,21,57,63]，“checking”：[10,22]，“to”：[11,70]，“timed”：[12,28,41,67,72]，“specifications，”：[13]，“然而”：[14]，“那里”：[15]，“有”：[16]，“远”：[17]，“少”：[18]，“尝试”：[19]，“在”：[20]，“concurrent”：[23,47]，“programs”：[24,42]，“for”：[25,77115]，“which”：[26123]，“correct”：[27]，“behavior”：[29]，“critical.”：[31]，“In”：[32,87]，“this”：[33]，“work”：[3]，“we”：35,90]，“explore”：[36]，“the”：[37,45,55,61,71,88,92108117]，“formal”：[38]，“verification”：[39]，“writed”：[43]，“In”：[44,50,97119]，“Erlang”：[46121]，“programming”：[48]，“language”：[49]，“its”：[51,95]，“full”：[52]，“complexity”：[53]，“using”：[54102]，“McErlang”：[56,62]，“checker.We”：58]，“have”：[59]，“extended”：[60]，“checker”：[64]，“with”：[65,82]，“semantics”，“：[68,94]，“similar”：[69]，“语义”：[73]，“Lamport”：[74]，“已开发”：[75]，“TLA“：[78]，”和“：[79,99]，”TLC，“：[80]，”但“：[81]，”少数“：[84]，”显著“：[85]，”差异。“：[86]，“论文”：[89]，“呈现”：[91]，“结果”：[93]，“实现”：[96]，“McErlang”：[98]，“评估”：[100]，“它”：[101]，“示例。”：[106]，“其中”：[107]，“实例”：[109]，“过程”：[112]，“监督”：[113]，“组件”：[114]，“控制”：[116]，“进程”：[118]，“an”：[120]，“应用程序”：[122]，“提供”：[124]，“容错。”：[125]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W104124984“，”counts_by_year“：[{”年“：2022，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：1}，{“年份”：2016，”citecd_by_count“：2}，”{“年”：2014，”citted_by_count“:1}、{“年度”：2013，”citesd_by-count“:1}]，”updated_date“：”2024-06-26T13:41:05.939068“，”created_date:“2016-06-24”}