{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,12]]，“日期时间”：“2024-01-12T23:43:37Z”，“时间戳”：1705103017078}，“出版商位置”：“美国纽约州纽约市”，“参考计数”：8，“出版者”：“ACM”，“资助者”：[{“名称”：“工程和物理科学研究委员会”，“奖项”：[“EP\/R034567\/1“]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2023,7,17]]}，”DOI“：”10.1145\/3605155.3605861“，”type“：”proceedings-article“，”created“：{”date-part“：[2023,7,14]，”date-time“：”2023-07-14T14:28:37Z“，”timestamp:168 9344917000}，“更新策略”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Gillian的符号调试”]，“prefix”：“10.1145”，”author“：[{”given“：”Nat“，”family“：”Karmios“，”sequence“：”first“，”affiliation“：”[{“name”：“Imperial College London，UK”}]}，{“given”：”Sacha-\u00c9lie“，“”family“：”Ayoun“，”sequence“：”additional“，“affiliation”：[{“name”：“Imperial College London，UK”}]}，{“given”：“Philippa”，“family”：“Gardner”，“sequence”：“additional”，“affaliation”:[{”name“：“Imerial Collection London”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2023,7,17]]}；“reference”：[}“key”：”e_1_3_2_1_1_1_1“，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/978-3642-20398-5_33“}，{“key”：“e_1_3_2_1_2_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3385412.3386014“}，{”key“：”e_1_ 3_2_1_3_1“，”doi-assert-by“：”publisher“，“doi”：“10.1007\/s10009-018-0490-9”}，“key“:”e_2_2_4_1“，{“键”：“e_1_3_2_1_5_1”，“卷标”：“CBMC:The C Bounded Model Checker.arxiv:2302.02384.”，“author”：“Kroening Daniel”，“year”：“2023”，“unstructured”：“Daniel Kroeng，Peter Schrammel，and Michael Tautschnig.2023.CBMC:The C Bounded Model Checher.arxiv：2302.02384。Daniel Kroening、Peter Schrammel和Michael Tautschnig。2023.CBMC：C边界模型检查器。arxiv:2302.02384.“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-030-81688-9_38”}，“key”：“e_1_ 3_2_1 _7_1”，“unstructured”：“Microsoft.[n.d.].调试适配器协议-概述。https:\/\Microsoft.github.io\/Debug-Adapter-Protocol\/Overview\t\t\t Microsoft。[n.d].调试适配器协议-概述。https:\/\.microsoft.com/microsoft.github.io\/debug adapter protocol\/overview“｝，｛”key“：”e_1_3_2_1_8_1“，”非结构化“：”推理团队@Meta。[n.d.].Infer Pulse。https:\/\/fbfidero.com\/docs\/checker Pulse \t\t\t\t推理团队@Meta。[n.d.].Infer Pulse。https:\/\/fbfidero.com\/docs\/checker Pulse“｝]，”event“：”DEBT’23：第一届ACM未来调试技术国际研讨会”，“地点”：“西雅图WA USA”，“缩写词”：“DEBT‘23”，“赞助商”：[“SIGSOFT ACM软件工程特别兴趣小组”，“AITO”]}，“container-title”：[《第一届ACM国际未来调试技术研讨会论文集》]，“原文标题”：[]，“存放”：{“date-parts“：[[2023,7,14]]，”date-time“：”2023-07-14T14:30:10Z“，”timestamp“：1689345010000}，”score“：1，”resource“：{”primary“：”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/3605155.3605861“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2023,7,17]}、“references-count”：8，“alternate”ive-id“：[”10.1145\/3605155.3605861“，”10.1145\/3605155“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/3605155.3605861“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[2023,7,17]]}，“断言”：[{“值”：“2023-07-17”，“顺序”：2，“名称”：“发布”，“标签”：“已发布”，”组“：{”名称“：”发布历史“，”标签“：“发布历史”}}}}