{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T15:59:09Z”，“时间戳”：1725551949876}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 311393“}，{”类型“：“electronic”，“value”：“9783540316220”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11609773_22“，”type“：”book-capter“，”created“：”{“date-part”：[2005,12,12]]，“date-time”：“2005-12-12T07:28:57Z”，“时间戳”：1134372537000}，“页面”：“332-347”，“源”：“Crossref”，“is-referenced-by-count”：5，“title”：[“通过抽象解释对基于时间固定点的算子进行强保持”]，“prefix”：“10.1007”，”author“：[{“given”：“Francesco”，《family》：“Ranzato”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“Francesco“，”family“Tapparo”，“serquence”:“additional”，“faliation”:[]}]，“member”：“297”，“reference”：[{“key”：“22_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，《首页》：“176”，”doi“：”10.1007\/3-540-44577-3_12“，”volume-title“：”Informatics“，”author“：”E.M.Clarke“，”year“：”2001“，”unstructured“：“Clarke，E.M.，Grumberg，O.，Jha，S.，Lu，Y.，Veith，H.：模型检验中状态爆炸问题的进展。摘自：Wilhelm，R.（ed.）Informatics:10 Years Back，10 Years-Ahead。LNCS，vol.\u00a02000，pp.176\u2013194。Springer，Heidelberg（2001）“}，{“问题”：“5”，“关键”：“22_CR2”，“doi-asserted-by”：“出版商”，“首页”：“1512”，“doi”：“10.1145\/186025.186051”，“卷”：“16”，“作者”：“E.M.克拉克”，“年份”：“1994”，“非结构化”：“克拉克，E.M.，Grumberg，O.，Long，D.：模型检查和抽象。ACM Trans.Program.Lang.Syst.\u00a016（5），1512 u20131542（1994）“，”journal-title“：”ACM事务处理。程序。语言系统。“}，{”volume-title“：”模型检查“，”year“：”1999“，”author“：”E.M.Clarke“，”key“：”22_CR3“，”unstructured“：”Clarke，E.M.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（1999）“}库索，P.，库索，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。In：程序。4\n\n\n\n$^{\\mathit{th}}$\n ACM POPL，pp.238\u2013252（1977）“，“DOI”：“10.1145\/512950.512973”}，{“key”：“22_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“库索，P.，库索，R.：程序分析框架的系统设计。In：程序。6\n\n\n\n$^{\\mathit{th}}$\n ACM POPL，pp.269\u2013282（1979）“，”DOI“：”10.1145\/567752.567778“}，”issue“：”1“，”key“：”22_CR6“，”DOI-asserted-by“：”publisher“，”first page“：“69”，”DOI:“10.1023\/A:1008649901864”，“volume”：“6”，”author“：”P.Cousot“，”year“：”“1999”，“非结构化“：”Cousot，P.、Cousot、R.：通过抽象解释细化模型检查。自动化软件工程杂志\u00a06（1），69\u201395（1999）“，”Journal-title“：”Automated Software Engineering Journal“}，{“key”：“22_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“库索，P.，库索，R.：时间抽象解释。In：程序。27\n\n\n\n$^{\\mathit{th}}$\n ACM POPL，第12\u201325页（2000）“，“DOI”：“10.1145\/325694.325699”}，{“key”：“22_CR8”，“unstructured”：“Dams，D.：模型检查的抽象解释和划分精化。Eindhoven Univ博士论文（1996）”}、{“issue”：“1”，“key“：”22_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”55“，”doi“：”10.1093\/jigpal\/7.1.55“，“volume”：“7”，“author”：“D.Dams”，“year”：“1999”，“unstructured”：“Dams，D.：CTL和CTL的扁平碎片*：分离表达能力和区分能力。IGPL\u00a07（1），55\u201378（1999）的《逻辑杂志》，“期刊标题”：“IGPL的逻辑杂志”}，{“问题”：“5”，“关键”：“22_CR10”，“首页”：“1512”，“卷”：“16”，“作者”：“D.Dams”，“年份”：“1997”，“非结构化”：“Dams，D.，Grumberg，O.，Gerth，R.：反应系统的抽象解释。ACM Trans.Program.Lang.Syst.\u00a 016（5），1512 u20131542（1997）“，”journal-title“：”ACM事务。程序。语言系统。“｝，｛”key“：”22_CR11“，”系列标题“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”356“，”doi“：”10.1007\/3-540-47764-0_20“，”卷标题“：”静态分析“，”作者“：”R.Giacobazzi“，”年份“：”2001“，”非结构化“：”Giacobazzi，R.，Quintarelli，E.：抽象模型检查中的不完整性、反例和改进。收录：Cousot，P.（编辑）SAS 2001。LNCS，第u00a02126卷，第356\u2013373页。Springer，Heidelberg（2001）“}，{”问题“：“2”，”关键“：“22_CR12”，“首页”：“361”，“卷”：“47”，“作者”：“R.Giacobazzi”，“年份”：“2000”，“非结构化”：“Giacobaszi，R.，Ranzato，F.，Scozzari，F.：完成抽象解释。J.\u00a0ACM\u00a 047（2），361\u2013416（2000）”，“新闻标题”：“J.\u00 a0ACM”}，“问题“：”3“，”键“：”22_CR13“，“doi-asserted-by“：”publisher“，”first-page“：”843“，”doi“：”10.1145\/177492.177725“，”volume“：”16“，”author“：”O.Grumberg“，”year“：”1994“，”unstructured“：”Grumber，O.，Long，D.E.：模型检查和模块验证。ACM事务处理。程序。语言系统。\u00a016（3），843\u2013871（1994）“，“日记标题”：“ACM Trans。程序。语言系统。“}，{”key“：”22_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Henzinger，M.R.，Henzinger，T.A.，Kopke，P.W.：有限和无限图的计算模拟。In：Proc.36\n\n\n$^{\\mathit{th}}$\n FOCS，pp.453\u2013462（1995）“，”doi“：”10.1109\/SFCS.1995.492576“}，{”key“：”22_CR15“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1007\/BF01384313”，“volume”：“6”，“author”：“C.Loiseaux”，“year”：“1995”，“unstructured”：“Loiseaux，C.，Graf，S.，Sifakis，J.，Bouajjani，A.，Bensalem，S.：用于验证并发系统的属性保持抽象。系统设计中的形式方法\u00a06，1\u201336（1995）“，“journal-title”：“系统设计的形式方法”}，{“key”：“22_CR16”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”428“，“doi”：“10.1007\/3-540-45789-5_30”，“volume-title“：”静态分析“，“author”：“D.Mass\u00e9”，“year”：“2002”，“unstructured”：“Mass\u00e9，D.：基于抽象解释的时间属性静态分析的语义。In：Hermenegildo，M.V.，Puebla，G.（编辑）SAS 2002。LNCS，卷\u00a02477，第428\u2013443页。Springer，Heidelberg（2002）“}，{”key“：”22_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“18”，”doi“：”10.1007\/978-3-540-24725-8_3“，“volume-title”：“Programming Languages and Systems”，“author”：“F.Ranzato”，“year”：“2004”，“unstructured”：“Ranzato，F.，Tapparo，F.：在抽象解释中作为完整性的强大保存。摘自：Schmidt，D.（编辑）《2004年员工持股计划》。LNCS，第u00a02986卷，第18\u201332页。Springer，Heidelberg（2004）“}，{”key“：”22_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”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）“}，{”key“：”22_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“22”，”doi“：”10.1007\/978-3-540-27864-1_5“，”volume-title“：“静态分析”，“author”：“D.A.Schmidt”，“year”：“2004”，“unstructured”：“Schmidt，D.A.：幂集过逼近和欠逼近的封闭逻辑关系。收录人：Giacobazzi，R.（编辑）SAS 2004。LNCS，第u00a03148卷，第22\u201337页。Springer，Heidelberg（2004）“}]，“容器标题”：[“计算机科学讲义”，“验证、模型检查和抽象解释”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/11609773_22.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“deposed”：{“date-parts”：[[2021,4,27]]，“date-time”：“2021-04-27T07:02Z”，“timestamp”：1619507222000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\link.springer.com/10.1007\/116097773_22”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2005]]}”，“ISBN”：[“9783540311 393“，”9783540316220“]，”references-count“：19，”URL“：“http://\/dx.doi.org\/10.1007\/11609773_22”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[2005]]}}}}