{“id”：“https://openalex.org/W4283583929“，”doi“：”https://doi.org/10.1145/3545117“，”title“：”Unifying Operational Weak Memory Verification:A Axiomatic Approach“，”display_name“：”统一操作性弱内存验证：A Axiormatic Approduction“，”publication_year“：2022，”publiation_date“：”2022-10-20“，”ids“：{”openalex“：”https://openalex.org/W4283583929“，”doi“：”https://doi.org/10.1145/3545117“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3545117“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5075161500“，”display_name“：”Simon Doherty“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I91136226“，”display_name“：”谢菲尔德大学“，”ror“：”https://ror.org/05krs5044“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I91136226“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Simon Doherty“，”raw _affiliation_strings“：[“英国谢菲尔德大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5036935445“，”display_name“：”Sadegh Dalvandi“，”orcid“：”https://orcid.org/0000-0001-8813-780X}，“机构”：[{“id”：https://openalex.org/I28290843“，”display_name“：”萨里大学“，”ror“：”https://ror.org/00ks66431“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28290843“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Sadegh Dalvandi“，”raw _ afiliation_strings“：[“英国吉尔福德萨里大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5012214843“，”display_name“：”Brijesh Dongol“，”orcid“：”https://orcid.org/0000-0003-0446-3507}，“机构”：[{“id”：https://openalex.org/I28290843“，”display_name“：”萨里大学“，”ror“：”https://ror.org/00ks66431“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28290843“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Brijesh Dongol“，”raw _affiliation_strings“：[“英国吉尔福德萨里大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5046915601“，”display_name“：”Heike Wehrheim“，”orcid“：”https://orcid.org/00000-0002-2385-7512}，“机构”：[{“id”：https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：”教育“，”血统“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Heike Wehrheim“，”raw _ afiliation_strings“：[“德国奥尔登堡奥尔登堡大学”]}]，”countries _ distinct_count“：2，”institutions _ disting_count“：false，”cited_by_count“：7，”cited_by_percentile_year“：{“min”：91，“max”：92}，“biblio”：{卷：“23”，“issue”：“4”，“first_page”：“1”，“last_page”：“39”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T11424“，”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/T11424“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9992，“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.9991，“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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.538962}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.538725}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.529908}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.524577｝，｛”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.51964}]，”concepts“：[{”id“：”https://openalex.org/C17435882，“wikidata”：https://www.wikidata.org/wiki/Q17030435“，”display_name“：”HOL“，”level“：2，”score“：0.79999065}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.7767361}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.7697132}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.72775614｝，｛”id“：”https://openalex.org/C12186640，“wikidata”：https://www.wikidata.org/wiki/Q6815743“，”display_name“：”内存模型“，”level“：3，”score“：0.57496655}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.57406694}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5251536}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.51793474}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772“，”display_name“：”Scheme（mathematics）“，”level“：2，”score“：0.5160339}，{”id“：”https://openalex.org/C104949639，“wikidata”：https://www.wikidata.org/wiki/Q1375924“，”display_name“：”Hoare logic“，”level“：3，”score“：0.49166876}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.45826015}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.41509542}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3895885}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36878523}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.34301478}，{”id“：”https://openalex.org/C133875982，“wikidata”：https://www.wikidata.org/wiki/Q764810“，”display_name“：”共享内存“，”level“：2，”score“：0.22326839}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.12677062}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.063658774｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3545117“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null:“sustainable_development_goals”：[{“score”：0.48，“display_name”：“Quality education”，“id”：“”https://metadata.un.org/sdg/4“}]，”拨款“：[{”资助者“：”https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/R025134/2“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：54，”referrenced_works“：[”https://openalex.org/W136533073","https://openalex.org/W1430872261","https://openalex.org/W1525350307","https://openalex.org/W1602156367","https://openalex.org/W1877513498","https://openalex.org/W1964727056","https://openalex.org/W196827001","https://openalex.org/W1972537186","https://openalex.org/W2015574046","https://openalex.org/W2016732604","https://openalex.org/W2029601347","https://openalex.org/W2054739713","https://openalex.org/W2058943117","https://openalex.org/W2085773946","https://openalex.org/W2091085450","https://openalex.org/W2096490078","https://openalex.org/W2105673930","https://openalex.org/W2168397157","https://openalex.org/W2280574045","https://openalex.org/W2281454872","https://openalex.org/W2294707073","https://openalex.org/W2325560378","https://openalex.org/W2353662026","https://openalex.org/W2466104094","https://openalex.org/W2533070090","https://openalex.org/W2553522901","https://openalex.org/W2562986368","https://openalex.org/W2564852534","https://openalex.org/W2593231357","https://openalex.org/W2596443718","https://openalex.org/W2605169925","https://openalex.org/W2626631502","https://openalex.org/W2738891045","https://openalex.org/W2778029444","https://openalex.org/W2797152240","https://openalex.org/W2887814217","https://openalex.org/W2901414891","https://openalex.org/W2947631473","https://openalex.org/W2947839876","https://openalex.org/W2953899265","https://openalex.org/W2955045321","https://openalex.org/W2956182160","https://openalex.org/W2987907651","https://openalex.org/W3016534026","https://openalex.org/W3033965825网址","https://openalex.org/W3107330328","https://openalex.org/W3173474899","https://openalex.org/W3212596895","https://openalex.org/W3214002235","https://openalex.org/W3214317778","https://openalex.org/W4226043713","https://openalex.org/W4234066571","https://openalex.org/W4240322740","https://openalex.org/W85669090“]，”related_works“：[”https://openalex.org/W428088284","https://openalex.org/W3183673898","https://openalex.org/W3036611088","https://openalex.org/W3029202334","https://openalex.org/W3014009067","https://openalex.org/W2982555644","https://openalex.org/W2339645850","https://openalex.org/W2096553703","https://openalex.org/W1963706207","https://openalex.org/W1545329058“]，”ngrams_url“：”https://api.openalex.org/works/W4283583929/ngrams“，”“abstract_inverted_index”：{“In”：[0,36]，“this”：[1,60147]，“article”：[2]，“we”：[3,38,58127]，“propose”：[4]，“an”：[5,11]，“approach”：[6,19]，“to”：[7,44,52,62,91106]，“program”：[8,49]，“verification”：[9]，2,47,80109123131138143]，“弱”：[15,85]，“内存”：[16,34,66114]，“模型。“：[17]，“我们的”：[18,72]，“是”：[20,42,75]，“基于”：[21]，“在”：[22135]，“a”：[23,33,48,53,78136]，“层次结构”：[24]，“公理”：[25,573]，“方案”：[26,74]，“that”：[27,40,68]，“捕获”：[28]，“the”：[29,70107124129144]，“观测”：[30]，“属性”：[31]，“模型”。“：[35]，”特别“，”：[37]，”显示“：[39,59]，”它“：[41]，”可能“：[43]，”证明“：[45]，”正确性“：[46]，”with“：[50]，”尊重“：[51]，”特殊“：[54]，”方案“：[56]，”和“：[57,94118]，”证据“：[61]，”足够“：[63]，”for“：[64,84]，”any“：[65]，”模型“：[67]，”满足“：[69]，“公理。“：[71]，”发达“：[76]，”最弱“：[81,99]，”自由“：[82100]，”前提条件“：[83101]，”记忆。“：[86]，”This“：[87]，”natural“：[89]，”extends“：[90]，”Hoare“：[92]，”logic“：[93]，”Owicki-Gries“：[95]，”reasoning“：[96133]，”by“：[97151]，”lifting“：98]，”（defined“：[102]，”over“：[103]，”read/write“：[104]，”events“）“：[105]，”level“：[108]，”programs。“：[110]，“我们”：[111]，“研究”：[112]，“三个”：[113]，“模型”：[115]，“（SC，”：[116]，“TSO，”：[117]，“RC11-RAR）”：[119]，“作为”：[120]，“示例”：[121]，“实例化”：[122]，“公理”：[125]，“然后”：[126]，“演示”：[128]，“适用性”：[130]，“我们的”：[132]，“技术”：[134]，“数字”：[137]，“石蕊”：[139]，“测试。“：[140]，”The“：[141]，”多数“：[142]，”证明“：[145]，”in“：[146]，”article“：[148]，”are“：[149]，”supported“：[150]，”mechanization“：[152]，”in“：[153]，”Isabelle/HOL。“：[154]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4283583929“，”counts_by_year“：[{”年“：2023，”引用_by_count“：7}]，”更新日期“：”2024-05-22T23:56:58.479208“，”创建日期“：“2022-06-28”}