{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,2]，“日期-时间”：“2024-03-02T08:47:54Z”，“时间戳”：1709369274870}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：35，“发布商”：“ACM”，“许可证”：[{“开始”：{/“日期-部分”：[2015,10,23]]，“日期时间“：”2015-10-23T00:00:00Z“，”时间戳“：144555840000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“资助者”：[{“DOI”：“10.13039\/1000000001”，“名称”：“国家科学基金会”，“DOI-asserted-by”：“publisher”，“奖项”：[“CCF-1319786”]]，“内容域”：{“域”：[”dl.acm.org“]，“交叉标记限制”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015,10,23]]}，“DOI”：“10.1145\/2814270.2814297”，“type”：“procesdings-article”，“created”：{“date-ports”：[2015,11,2]，“date-time”：“2015-11-02T21:04:33Z”，“timestamp”：1446498273000}，《update-policy》：“http://dx.DOI.org\/10.1145\/crossmark-p policy“，”source“：”Crossref“，”is-referenced-by-count“：33，“title”：[“SATCheck:针对SC和TSO的SAT定向无状态模型检查”]，“prefix”：“10.1145”，“author”：[{“given”：“Brian”，“family”：“Demsky”，“sequence”：“first”，“affiliation”：[}“name”：“University of California at Irvine，USA”}]}，{“fixed”：“Patrick”，“家庭”：“Lam”，“序列”：“additional”，“从属关系”：[[{”name“：“Unity of Waterloo，Canada”}]]，“成员”：“320”，“在线发布”：｛“日期部分”：[[2015,10,23]]｝，“引用”：[｛“密钥”：“e_1_3_2_1_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/2535838.535845”｝，｛“密钥”：“e_1_3_2_1”，“doi由”：“publisher”断言，“doi”：“10.1007\/978-3-662-46681-02_28”｝，｛“密钥”：“e_1_3_2_3_1”，“doi由”断言：“”publisher”，“doi”：“10.1145\/24290692429099”｝，｛“密钥”：“e_1_3_2_2_4_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1640089.1640096“}，{“key”：“e_ 1_3_2 _5_1”、“doi-sserted-by“：”publisher“，”doi:“10.1145\/2003476.2003493”}，“key“：”e_1_ 3_2_6_1“，“volume-title”：“\u201cout of thin air”，“author”：“Boehm H.-J.”，《年份》：“2013”，“非结构化“：”H.-J。博姆。N3786：禁止\u201cout稀薄空气\u201d会导致C++14。http://www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3786.htm，2013年9月。H.-J.博姆。N3786：禁止\u201cout稀薄空气\u201d会导致C++14。http://www.open-std.org \/jtc1 \/sc22 \/wg21 \/docs\/papers\/2013\/n3786.htm，2013年9月。“}，{“key”：“e_1_3_2_2_7_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/2618128.2618134”}，“key“：”e_1_ 3_2_8_1“，”volume-title“：”201cout of thin air“，”author“：”Boehm H.-J.“，“年份”：“2013年”，“非结构化”：“H.-J。Boehm\u201cout of thin air\u201d结果（LWG 2265）。http://www.open-std.org/jtc1\/sc22\/wg21\/docs\/pars\/2013\/n3710.html，2013年8月。H.-J.Boehm等人，N3710：指定缺少稀薄空气的结果（LWG2265）。http://www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2013\/n3710.html，2013年8月。“}，{”key“：”e_1_3_2_2_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1250734.1250737”}，“key”：“e_3_2_10_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1250734.1250760“}”，{“key“：”e_1_3_2_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1250734.1250762“}，{“key”：“e_1_3_2_2_12_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2491956.2462162”}，}“key”：“e_1_3_2_13_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/945.945468“}\/1542476.1542490“}，{“key”：“e_1_3_2_2_15_1”，“unstructured”：“C.Flanagan and P。戈德弗里德。模型检查软件的动态部分订单缩减补遗。http://\/users.soe.ucsc.edu\/~cormac\/papers\/popl05-addendum.pdf。C.弗拉纳根和P.戈德弗里德。模型检查软件的动态部分订单缩减补遗。http://\/users.soe.ucsc.edu\/~cormac\/papers\/popl05-addendum.pdf。“}，{“key”：“e_1_3_2_16_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/10040305.1040315”}，{“key”：“e_1_3_2_17_1”，“doi由”：“publisher”断言，“doi”：“10.5555\/5547238”}，{“key”：“e_1_3_2_18_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/2263699.263717”}，{“key”：“e_1_3_2_19_1”，“volume title“：“SPIN模型检查器：初级读本和参考手册”作者：“Holzmann G.J.”，“年份”：“2003年”，“非结构化”：“G.J.Holzmann.”。SPIN模型检查器：底漆和参考手册。Addison-Wesley Professional，第1版，2003年。G.J.霍尔兹曼。SPIN模型检查器：底漆和参考手册。Addison-Wesley Professional，第1版，2003年。“，”edition“：”1“}，{”key“：”e_1_3_2_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2737924.2737975”}，“key”：“e_1_ 3_2_21_1”，“doi-assert-by”：“publisher”，“doi:”10.1145\/1815961.1815987“}”，{“，”doi“：”10.1145\/248052.248106“}，{”密钥“：”e_1_3_2_23_1“，“volume-title”：“第八届操作系统设计与实现研讨会论文集”，“author”：“Musuvati M.”，“year”：“2008”，“unstructured”：“M.Musuvathi，S.Qadeer，P.A.Nainar，T.Ball，G.Basler，和I.Neamtiu。在并发程序中查找和复制Heisenbugs。在2008年第八届操作系统设计与实现研讨会论文集上。M.Musuvathi、S.Qadeer、P.A.Nainar、T.Ball、G.Basler和I.Neamtiu。在并发程序中查找和复制Heisenbugs。在2008年第八届操作系统设计与实现研讨会论文集中。“：”10.1145\/265924.265927“}，{“key”：“e_1_3_2_27_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1081706.1081750“}”，{”key“：”e_1_ 3_2_2_28_1“，”doi-assert-by“：”publisher“，\/2509136.2509532“}，{”key“：”e_1_3_2_2_30_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-540-88387-6_11“}，{“key”：“e_1_3_2_2_31_1”，“unstructured”：“A.Williams.Dekker\u2019s算法实现。http://www.justsoftwaresolutions.co.uk\/threading\/.2012年12月。A.威廉姆斯。Dekker\u2019s算法实现。http://www.justsoftwaresolutions.co.uk\/threading\/。2012年12月。“}，{”key“：”e_1_3_2_2_32_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2500875“}“，{“key”：”e_ 1_ 3_2_33_1“，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3-540-85114-1_20”}，”{“key”：“e_1_ 3_2 _34_1”，”doi-asserted-by“”：“publisher”，“doi”：”10.1007\/978-3-642-02 652-2_22“}，{“键”：“e_1_3_2_2_35_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/22737924.2737956“｝]，“活动”：｛“名称”：“SPLASH’15:系统、编程、语言和应用会议：人类软件”，“地点”：“美国宾夕法尼亚州匹兹堡”，“首字母缩写”：“SPLASH’15”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]｝，“容器标题”：[“2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2814270.2814297“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，”date-time“：”2023-09-04T22:26:06Z“，”timestamp“：1693866366000}，”score“：1，”resource“：{”primary“：”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814297“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{alternative-id“：[”10.1145\/2814270.2814297“，”10.1145\/2814270“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2814270.2814297“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2858965.2814297'，”asserted-by“：”object“}]}，“subject”：[]，“published”：{“date-parts”：[[2015,10,23]]}、“assertion”：[{”value“：”2015-10-23“，”order“：2，”name“：”published“，”标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“出版历史“}}]}}