{“id”：“https://openalex.org/W1493367105“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_7“，”title“：”并发软件的上下文模型检查“，”display_name“：”并行软件的上下文建模检查“，“publication_year”：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1493367105“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_7“，”mag“：”1493367105“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_7.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/978-3-540-31980-1_7.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5072464909“，”display_name“：”Shaz Qadeer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Shaz Qadeer“，”raw_affiliation_strings“：[“Microsoft Research，”]，”affiliations“：[{”raw_affiliation_string“：”Microsoft Researching“，”institution_ids“：]”https://openalex.org/I4210164937“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5081497785“，”display_name“：”Jakob Rehof“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Jakob Rehof“，”raw_affiliation_strings“：[“Microsoft Research，”]，”affiliations“：[{”raw_affiliation_string“：”Microsoft Researching“，”institution_ids“：]”https://openalex.org/I4210164937“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：19.315，”has_fulltext“：false，”cited_by_count lized_percentile“：{“值”：0.999517，”is_in_top_1_percent“：true，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：99，”max“：100}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“93”，“last_page”：“107”}，‘is_retracted’：false，“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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.9993，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9961，”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/undeditable-problem“，”display_name“：”无法确定问题“，”score“：0.8162019}，{”id“：”https://openalex.org/keywords/context-switch网站“，”display_name“：”上下文切换“，”score“：0.6467352}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.597234}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.54485}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.53985｝，｛”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.525735}，{”id“：”https://openalex.org/keywords/program-repair网站“，”display_name“：”程序修复“，”score“：0.507924}]，”concepts“：[{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.8162019}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.76153225}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”有界函数“，”level“：2，”score“：0.7106428}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.6779183}，{”id“：”https://openalex.org/C53833338，“wikidata”：https://www.wikidata.org/wiki/Q1061424“，”display_name“：”上下文开关“，”level“：2，”score“：0.6467352｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.63150156｝，｛”id“：”https://openalex.org/C138101251，“wikidata”：https://www.wikidata.org/wiki/Q213092“，”display_name“：”线程（计算）“，”级别“：2，”分数“：0.5522468}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46420866}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.46236992}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.4295843}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41975597}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.4024098}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.20968151}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_7.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}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_7.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“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：39，”https://openalex.org/W106387794","https://openalex.org/W128817107","https://openalex.org/W148396834","https://openalex.org/W1560028438","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1605985842","https://openalex.org/W1819209966","https://openalex.org/W1905205673","https://openalex.org/W1968898611","https://openalex.org/W1994878611","https://openalex.org/W2007541742","https://openalex.org/W2033263591","https://openalex.org/W20395491168","https://openalex.org/W2060345611","https://openalex.org/W2065675749","https://openalex.org/W2066725205","https://openalex.org/W2074070820","https://openalex.org/W2079680418","https://openalex.org/W2080573945","https://openalex.org/W2082000355","https://openalex.org/W2087252615","https://openalex.org/W2088139180","https://openalex.org/W2101936540","https://openalex.org/W2103714221","https://openalex.org/W2115309705","https://openalex.org/W2117009500","https://openalex.org/W2128453996","https://openalex.org/W2135274583","https://openalex.org/W2147248565","https://openalex.org/W2160520283","https://openalex.org/W2164496154","https://openalex.org/W2169134334","https://openalex.org/W2171480813","https://openalex.org/W2561675875","https://openalex.org/W3005728772","https://openalex.org/W3033386533","https://openalex.org/W4213079124","https://openalex.org/W4251167975“]，”related_works“：[”https://openalex.org/W4288079317","https://openalex.org/W4287197746","https://openalex.org/W4232891356","https://openalex.org/W3159133453","https://openalex.org/W3104883141","https://openalex.org/W3037629344","https://openalex.org/W2584642156","https://openalex.org/W2202746440","https://openalex.org/W1602322980","https://openalex.org/W103515806“]，”abstract_inverted_index“：{”The“：[0]，”interaction“：[1]，”interfer“：[2]，”concurrently“：[3]，”executinging“：[4]，”threads“：[5]，”of“：[6,24,47,61,79116143]，”a“：[7,26,76103117]，”program“：[8,29]，”results“：/9]，”in“：[10,44,57140148154]，”insidious“：[11]，”编程“：[12]，”errors“：[13]，”“：[14,38128]，”are“：[15]，”harouble“：[16]，”to“：[17,55,73,96131]，”复制“：[18]，”和“：[19,92]，”修复。“：[20]，”“不幸，”：[21]，”the“：[22,39,45,51,59,71,85,97122129141]，”problem“：[23,40]，”verifying“：[25]，”concurrent“：[27119]，”boolean“：[28]，”is“：[30,41,53,64,82,93105146156]，”undestinable“：[31]，”[24]。“：[32]，”In“：[33]，”this“：[34]，”paper“：[35]，”we“：[3]，”prove“：[37]，”decitable“，”：[42]，”even“：[43]，”presence“：[46142]，”unbounded“：[48109144]，”parallelism“，”:[49]，”if“：50]，”analysis“：[52,72,86115]，”restrictived“：[54]，”executions“：[P6,74]，”which“：[58126]，”number“：[60,74]78]，“上下文”：[62,80138]，“开关”：[63,81]，“有界”：[65,77]，“由”：[66121]，““：[67114]，”任意“：[68135]，”常数。“：[69]，”限制“：[70]，”带有“：[75134]，”不健全。“：[83]，”“然而，”：[84]，“可以”：[87]，“仍然”：[88]，“发现”：[89]，“复杂”：[90]，“错误”：[91]，“声音”：[94]，“向上”：[95]，“绑定”：[98139]，“自”：[99]，“内”：[100]，“每个”：[101]，“上下文”：[102]，“线程”：[104]，“完全”：[106]，“探索”：[107]，“for”：[108158]，“堆栈”：[110]，“深度。“：[111]，“我们”：[112]，“现在”：[113]，“真实”：[118]，“系统”：[120]，“ZING”：[123155]，“模型”：[124132152]，“检查器”：[125]，“演示”：[127]，“能力”：[130]，“检查”：[133]，“但是”：[136]，“固定”：[137]，“并行”：[145]，“有价值”：[147]，“实践”。“：[149]，”实现“：[150]，”上下文边界“：[151]，”检查“：[153]，”左“：[157]，”未来“：[159]，”工作“：[160]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1493367105“，”counts_by_year“：[{”年“：2024，”cited_by_count“：5}，{”年份“：2023，”ciped_by_cunt“：10}，”{“年份”：2022，“cited_by_count”：6}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：17}，{“年份”:2016，“引用_by_counts”：22}，}“年份“：2015，”引用_by_count“：23}，{“年份”：2014，“引用_by-count”：35}，}“年份“：2013，”引用_by/count“:34}，”年份“：2012，”引用_ by_counts“：31}]，“更新日期”：“2024-09-08T20:10:08.025051”，“创建日期”：”2016-06-24“}