{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T02:49:16Z”，“时间戳”：1725504556616}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540781622“}，{”类型“：“电子”，“值”：“9783540781639”}]，“内容域”：{“域”：[]，“交叉标记限制”：false}，“短容器标签”：[[]，“DOI”：“10.1007\/978-3-540-78163-9_22”，“类型”：“book-capter”，“创建”：{“日期部分”：[[2008,2,29]]，“日期时间”：“2008-02-29T10:30:06Z”，“时间戳”：1204281006000}，8-262“，”源“：”Crossref“，”is-referenced-by-count“：4，“title”：[“A Forward-Backward Abstraction Refinement Algorithm”]，“prefix”：“10.1007”，“author”：[{“given”：“Francesco”，”family“：“Ranzato”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Olivia Rossi”，“family”：“Doria”，[]}]，“成员”：“297”，“reference”：[{“doi-asserted-by”：“crossref”，“unstructured”：“Ball，T.，Rajamani，S.K.：SLAM项目：通过静态分析调试系统软件。收录于：Proc.299 ACM POPL，pp.1\u20133（2002）”，“key”：“22_CR1”，“内政部”：“10.1109\/TSE.2004.22”，“volume”：“30”，“author”：“S.Chaki”，“year”：“2004”，“unstructured”：“Chaki，S.，et al.：C.IEEE Transactions on software Engineering中软件组件的模块化验证\u00a030（6），388\u2013402（2004）”，“journal-title”：“IEEE Translations on software Engineering”}，{“volume-title“：模型检查”，“年份”：“1999”，“作者”：“E.M.Clarke”，“unstructured”：“Clarke，E.M.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（1999）”，“key”：“22_CR3”}，{“key“：”22_CR4“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“首页”：“176”，“年份”：“2001”，“非结构化”：“Clarke，E.等人：模型检验中状态爆炸问题的进展。摘自：Wilhelm，R.（编辑）Dagstuhl研讨会2000。LNCS，卷\u00a02000，第176\u2013194页。Springer，Heidelberg（2001）“}，{”issue“：“5”，”key“：“22_CR5”，“doi-asserted-by”：“publisher”，“first page”：“752”，“doi”：“10.1145\/876638.876643”，“volume”：”50“，“author”：“E.M.Clarke”，“year”：“2003”，“unstructured”：“Clarke，E.M.，et al.：符号模型检查的反示例引导抽象求精。J.ACM\u00a050（5），752\u2013794（2003）“，”期刊标题“：”J.ACM“｝，｛“非结构化”：“Cousot，P.:M\u00e8方法和d\u2019点修正的近似d\u2019op\u00e8比率单调，分析程序的历史。博士论文，法国格勒诺布尔大学（1978）”，“关键”：“22_CR6”｝，｛“doi断言由”：“crossref”，“非结构化”：“库索，P.，库索，R.：程序分析框架的系统设计。In：程序。第6届ACM POPL，pp.269\u2013282（1979）”，“key”：“22_CR7”，“DOI”：“10.1145\/567752.567778”}，｛“issue”：“2-3”，“key”：“22_CR8”，“DOI asserted by”：“publisher”，“first page”：“103”，“DOI”：“10.1016\/0743-1066（92）90030-7”，“volume”：“13”，“author”：“P.Cousot”，“year”：“1992”，“nonstructured”：“库索，P.，库索，R.：逻辑程序的抽象解释和应用。J.Logic Programming\u00a013（2-3），103\u2013179（1992）“，”journal-title“：”J.Logic Programming“}，{“问题”：“1”，“关键”：“22_CR9”，“doi-asserted-by”：“publisher”，“首页”：“69”，“doi”：“10.1023\/A:1008649901864”，“卷”：“6”，“作者”：“P.Cousot”，“年份”：“1999”，“非结构化”：“库索，P.，库索，R.：通过抽象解释细化模型检查。自动化软件工程\u00a06（1），69\u201395（1999）“，”journal-title“：”Automated Software Engineering“}，{“key”：“22_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“333”，“doi”：“10.1007\/978-3-54061-2_21”，“volume-title”：《静态分析》，“author”：“P.Cousot”，“year”：“2007”，“unstructured”：“”Cousot，P.、Ganty，P.和Raskin，J.-F.：定点引导抽象精炼。收录：Riis Nielson，H.，Fil\u00e9，G.（编辑）SAS 2007。LNCS，卷\u00a04634，第333\u2013348页。Springer，Heidelberg（2007）“}，{“问题”：“1-2”，“关键”：“22_CR11”，“doi-asserted-by”：“出版商”，“首页”：“63”，“doi”：“10.1016\/S0304-3975（00）00102-X”，“卷”：“256”，“作者”：“A.Finkel”，“年份”：“2001”，“非结构化”：“Finkel，A.，Schnoebelen，P.：到处都是结构良好的过渡系统！理论计算机科学\u00a0256（1-2），63\u201392（2001）“，“期刊标题”：“理论计算机科学”}，{“非结构化”：“Ganty，P.：定点检查问题：抽象精炼视角。博士论文，University\u00e9 Libre de Bruxelles（2007）”，“key”：“22_CR12”}第一页“：”49“，”DOI“：”10.1007\/11609773_4“，”volume-title“：”验证、模型检查和抽象解释“，”author“：”P.Ganty“，”year“：”2005“，”unstructured“：”Ganty，P.，Raskin，J.F.，Van Begin，L.：WSTS覆盖性的完整抽象解释框架。收录：Emerson，E.A.，Namjoshi，K.S.（编辑）VMCAI 2006。LNCS，第u00a03855卷，第49\u201364页。Springer，Heidelberg（2005）“}，{”key“：”22_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“124”，”doi“：”10.1007\/978-3-540-73094-1_10“，”volume-title“：“Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007”，”author“：”P.Ganty“，”year“：”2007“，”unstructured“：”Ganty，P.，Raskin，J.F.，Van Begin，L.：从多处到少处：Petri网的自动抽象精炼。收录人：Kleijn，J.，Yakovlev，A.（编辑）ICATPN 2007。LNCS，卷\u00a04546，第124\u2013143页。Springer，Heidelberg（2007）“}，{”key“：”22_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“474”，”doi“：”10.1007\/11691372_34“，”volume-title“：“系统构建和分析的工具和算法”，”author“：”B.S.Gulavani“，”year“：”2006“，”unstructured“：”Gulavani，B.S.，Rajamani，S.K.：抽象解释的反例驱动精炼。收录：Hermanns，H.、Palsberg，J.（编辑）TACAS 2006和ETAPS 2006。LNCS，卷\u00a03920，第474页\u2013488。Springer，Heidelberg（2006）“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Henzinger，T.A.，et al.：Lazy abstraction.In:Proc.299 ACM POPL，pp.58\u201370（2002）”，“key”：“22_CR16”，“doi”：“10.1145\/503272.503279”}，}“key“：”22_CR17“，”doi“：”10.1007\/3-540-44829-2_17“，“volume-title”：“模型检查软件”，“author”：“T.A.Henzinger”，“year”：“2003”，“unstructured”：“Henziger，T.A.等人：使用BLAST进行软件验证。收录：Ball，T.，Rajamani，S.K.（编辑）SPIN 2003。LNCS，卷\u00a02648，第235\u2013239页。Springer，Heidelberg（2003）“}，{”key“：”22_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“273”，”doi“：”10.1007\/978-3-540-71322-7_13“，”volume-title“：“程序分析与编译，理论与实践”，”author“：”R.Manevich“，”year“：”2007“，”unstructured“：”Manevich，R.等人：Powerset域的基于抽象反例的精化。收录人：Reps，T.、Sagiv，M.、Bauer，J.（编辑）Wilhelm Festschrift。LNCS，第u00a04444卷，第273\u2013292页。Springer，Heidelberg（2007）“}，{”key“：”22_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/3-540-44978-7_7“，”volume-title“：“程序作为数据对象”，”author“：”D.Mass\u00e9“，“year”：“2001”，“unstructured”：“Mass \u00e9，D.：结合时间特性的正向和反向分析。收录：Danvy，O.，Filinski，A.（编辑）PADO 2001。LNCS，vol.\u00a02053，Springer，Heidelberg（2001）“}，{“key”：“22_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《140》，“doi”：“10.1007\/978-3-540-31980-1_10”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“F.Ranzato”，“year”：“2005”，“unstructured”：“Ranzato，F.，Tapparo，F.：一种基于抽象解释的强保存精化算法。收录：Halbwachs，N.，Zuck，L.D.（编辑）TACAS 2005。LNCS，第u00a03440卷，第140\u2013156页。Springer，Heidelberg（2005）“}]，“container-title”：[“计算机科学课堂讲稿”，“验证、模型检查和抽象解释”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-78163-9_22.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{“date-parts”：[[2021,4,27]]，”日期时间“：”2021-04-27T11:00:35Z“，”时间戳“：1619521235000}，”分数“：1，”资源“：{“primary”：{”URL“：”http://\link.sprimary.com\/10.10007\/978-3-540-78163-9_22“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[[null]]}，“ISBN”：[“9783540781622”，“9783540781639“]，”references-count“：20，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-78163-9_22“，”relation“：{}，”subject“：[]}}”