{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,3]]，“日期时间”：“2024-06-03T17:17:39Z”，“时间戳”：1717435059503}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”值“9783642142949”，“”键入“：”print“}，{”value“：“9783642142956”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-14295-6_54“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,8]]，“date-time”：“2010-07-08T22:36:09Z“，”时间戳“：1278628569000}，”页面“：”629-644“，“source”：“Crossref”，“is-referenced-by-count”：52，“title”：[“使用线性接口的参数化并发程序的模型检查”]，“prefix”：“10.1007”，”author“：[{”given“：”Salvatore“，”family“：”La Torre“，”sequence“：”first“，”affiliation“：[]}，{“given”：：“Parlato”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“54_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，”first page“：”107“，”doi“：”10.1007\/978-3642-00768-2_11“，”volume-title“：”TACAS“，”author“：”M.F.Atig“，”year“：”2009“，”unstructured“：“Atig，M.F.，Bouajjani，A.，Qadeer，S.：动态创建线程的并发程序的上下文分析。见：TACAS.LNCS，vol.\u00a05505，pp.107\u2013123。Springer，Heidelberg（2009）“}，{”key“：”54_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“64”，”doi“：”10.1007\/978-3642-02658-4_9“，”volume-title“：“CAV 2009”，”author“：”G.Basler“，”year“：”2009“，”unstructured“：”Basler，G.，Mazzucchi，M.，Wahl，T.，Kroening，D.：并行软件的符号计数器抽象。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，第u00a05643卷，第64\u201378页。Springer，Heidelberg（2009）“}，{”key“：”54_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“395”，”doi“：”10.1007\/3-540-60218-6_30“，”volume-title“：“CONCUR\u201995 Concurrency Theory”，“author”：“E.M.Clarke”，“year”：“1995”，“unstructured”：“Clarke，E.M.，Grumberg，O.，Jha，S.：使用抽象和正则语言验证参数化网络。收录：Lee，I.，Smolka，S.A.（编辑）CONCUR 1995。LNCS，第u00a0962卷，第395\u2013407页。Springer，Heidelberg（1995）“}，{”key“：”54_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“331”，”doi“：”10.1007\/3-540-36577-X_24“，“volume-title”：“系统构建和分析的工具和算法”，“author”：“J.M.Coblegh”，“year”：“2003”，“unstructured”：“Cobleigh，J.M.，Giannakopoulou，D.，Pasareanu，C.S.：成分验证的学习假设。收录：Garavel，H.，Hatcliff，J.（编辑）TACAS 2003。LNCS，第u00a02619卷，第331\u2013346页。Springer，Heidelberg（2003）“}，{”key“：”54_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“149”，“doi”：“10.1007\/978-3-540-70545-1_15”，“volume-title”：“计算机辅助验证”，“author”：“A.Cohen”，“year”：“2008”，“unstructured”：“Cohen，A.，Namjoshi，K.S.：并发程序线性时间特性的局部证明。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，卷\u00a05123，第149\u2013161页。Springer，Heidelberg（2008）“}，{“key”：“54_CR6”，“unstructured”：“Creese，S.J.，Roscoe，A.W.：结构化网络上的数据独立归纳。In:PDPTA.CSREA Press（2000）”}，}，“key“：”54_CR7“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”325“doi”：“10.1007\/978-3-540-30124-0_26”，”“volume-title”：”计算机科学逻辑”，“作者”：“E.A.Emerson”，“年份”：“2004年”，“非结构化”：“Emerson，E.A.，Kahlon，V.：基于环的消息传递系统的参数化模型检查。收录人：Marcinkowski，J.，Tarlecki，A.（编辑）CSL 2004。LNCS，第u00a03210卷，第325\u2013339页。Springer，Heidelberg（2004）“}，{”key“：”54_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“463”，”doi“：”10.1007\/3-540-56922-7_38“，“volume-title”：“计算机辅助验证”，“author”：“E.A.Emerson”，“year”：“1993”，“unstructured”：“Emerson，E.A.，Sistla，A.P.：对称性和模型检查。收录：Courcoubetis，C.（编辑）CAV 1993。LNCS，卷\u00a0697，第463\u2013478页。Springer，Heidelberg（1993）“}，{”key“：”54_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“57”，”doi“：”10.1007\/978-3642-02138-1_4“，”volume-title“：“分布式系统的形式技术”，”author“：”N.Ghafari“，”year“：”2009“，”unstructured“：”Ghafari，N.，Gurfinkel，A.，Trefler，R.J.：用抽象域组合验证参数化系统。收录：Lee，D.，Lopes，A.，Poetzsch-Heffter，A.（编辑）FMOODS 2009。LNCS，第u00a05522卷，第57\u201372页。Springer，Heidelberg（2009）“}，{”issue“：”3“，”key“：”54_CR10“，”doi-asserted-by“：”publisher“，”first page“：“273”，”doi“：”10.1023\/A:“1008723125149”，“volume”：“14”，“author”：“C.N.Ip”，“year”：“1999”，“unstructured”：“Ip，C.N.，Dill，D.L.：用murphi中的复制组件验证系统。系统设计中的形式方法\u00a014（3），273\u 2013310（1999）“，”journal-title“：“系统设计中的形式化方法”}，{“key”：“54_CR11”，“series-title”：“计算机科学课堂讲稿”，“首页”：“424”，“卷时间”：“电脑辅助验证”，“author”：“Y.Kesten”，“year”：“1997”，“unstructured”：“Kesten，Y.，Maler，O.，Marcus，M.，Pnueli，A.，Shahar，E.：使用丰富断言语言进行符号模型检查。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第00a01254卷，第424\u2013435页。Springer，Heidelberg（1997）“}，{”key“：”54_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“101”，”doi“：”10.1007\/3-540-45694-5_8“，”volume-title“：“CONCUR 2002-并发理论”，”author“：”Y.Kesten“，”year“：”2002“，”unstructured“：”Kesten，Y.、Pnueli，A.、Shahar，E.、Zuck，L.D.：网络不变量的作用。收录人：Brim，L.，Jan\u010dar，P.，K\u0159et\u00ednsk\u00fd，M.，Kucera，A.（编辑）CONCUR 2002。LNCS，第u00a02421卷，第101\u2013115页。Springer，Heidelberg（2002）“}，{”key“：”54_CR13“，”doi-asserted-by“：”publisher“，”first page“：“211”，”doi“：”10.1145\/1542476.1542500“，”volume-title“：”PLDI“，”author“：”S.Torre La“，“year”：“2009”，“unstructured”：“La Torre，S.，Madhusudan，P.，Parlato，G.：使用定点演算分析递归程序。收录：PLDI，pp.211\u2013222。ACM，New York（2009）“}，{”key“：”54_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“477”，”doi“：”10.1007\/978-3642-02658-4_36“，”volume-title“：“CAV 2009”，“author”：“S.Torre La”，“year”：“2009”，”unstructured“：”La Torre，S.，Madhusudan，P.，Parlato，G.：将上下文受限的并发可达性简化为顺序可达性。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，卷\u00a05643，第477\u2013492页。Springer，Heidelberg（2009）“}，{“key”：“54_CR15”，“unstructured”：“La Torre，S.，Madhusudan，P.，Parlato，G.：使用线性接口IDEALS技术报告的参数化并发程序模型检查，伊利诺伊大学，\n\n http:\\/hdl.handle.net\/2142\/15410”}，}“key:”54_CR16“，”doi-asserted-by“：”crossref”，“非结构化”：“Lahiri，S.K.，Bryant，R.E.：带索引谓词的谓词抽象。ACM事务处理。计算。日志。\u00a09（1）（2007）“，”DOI“：”10.1145\/1297658.1297662“}，{”key“：”54_CR17“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“37”，“DOI”：“10.1007\/978-3-540-70545-1_7”，“volume-title”：“计算机辅助验证”，“author”：“A.Lal”，“year”：“2008”，“unstructured”：“”Lal，A.，Reps，T.W.：减少与顺序分析相关的上下文下的并发分析。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，第u00a05123卷，第37\u201351页。Springer，Heidelberg（2008）“}，{”key“：“54_CR18”，”first page“：”446“，”volume-title“：”PLDI“，”author“：”M.Musuvathi“，”year“：”2007“，”unstructured“：”Musupathi，M.，Qadeer，S.：多线程程序系统测试的迭代上下文边界。摘自：PLDI，pp.446\u2013455。ACM，New York（2007）“}，{”key“：”54_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“107”，”doi“：”10.1007\/3-540-45657-0_9“，“volume-title”：“计算机辅助验证”，“author”：“A.Pnueli”，“year”：“2002”，“unstructured”：“Punueli，A.，Xu，J.，Zuck，L.D.:Liveness with（0，1，\u221e）-反抽象。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第u00a02404卷，第107\u2013122页。Springer，Heidelberg（2002）“}，{”key“：”54_CR20“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“93”，”doi“：”10.1007\/978-3-540-31980-1_7“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“S.Qadeer”，“year”：“2005”，“unstructured”：“Qadeer，S.，Rehof，J.：并发软件的上下文模型检查。收录：Halbwachs，N.，Zuck，L.D.（编辑）TACAS 2005。LNCS，第u00a03440卷，第93\u2013107页。Springer，Heidelberg（2005）“}，{”key“：”54_CR21“，”doi-asserted-by“：”publisher“，”first page“：“14”，”doi“：”10.1145\/996841.996845“，”volume-title“：”PLDI“，”author“：”S.Qadeer“，”year“：”2004“，”unstructured“：”Qadeel，S.，Wu，D.：Kiss:keep it simple and sequential。收录：PLDI，pp.14\u201324。ACM，New York（2004）“}，{”key“：”54_CR22“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“270”，“doi”：“10.1007\/978-3-540-85114-1_19”，“volume-title”：“模型检查软件”，“author”：“D.Suwimonteerabbth”，“year”：“2008”，“unstructured”：“Suwimonteerabuth，D.，Esparza，J.，Schwoon，S.：多线程java程序的符号上下文有界分析。收录：Havelund，K.，Majumdar，R.，Palsberg，J.（编辑）SPIN 2008。LNCS，卷\u00a05156，第270页\u2013287。Springer，Heidelberg（2008）“}，{”key“：”54_CR23“，”doi-asserted-by“：”publisher“，”first page“：“501”，”doi“：”10.1145\/1321631.1321719“，”volume-title“：”ASE“，”author“：”T.Witkowski“，”year“：”2007“，”unstructured“：”Witkovski，T.，Blanc，N.，Kroening，D.，Weissenbacher，G.：模型检查并发linux设备驱动程序。摘自：ASE，pp.501\u2013504。ACM，New York（2007）“}]，“container-title”：[“计算机科学课堂讲稿”，“计算机辅助验证”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-14295-6_54.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{date-parts“：[[2021,4,30]]，“date-time”：“2021-04-30T12:23:38Z”，“timestamp”：1619785418000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/978-3642-14295-6_54”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2010]]}”，“ISBN”：[“9783642142949”，“9783642142956”]，“references-count”：23，“URL”：“http://\/dx.doi.org\/10.1007\/978-3642-14295-6_54“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“、”类型“：”打印“}，{”价值“：”1611-33049“，”类型“:”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2010]]}}}}