{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,18]]，“日期时间”：“2023-02-18T00:50:09Z”，“时间戳”：1676681409857}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540425410”，“类型”：“打印”}，{“值”：“9783540447986”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-44798-9_22“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T17:16:15Z“，”时间戳“：1178212575000}，”页面“：”259-274“，”源“：“Crossref”，“is-referenced-by-count”：14，“title”：[“在自动验证中利用转换位置”]，“prefix”：“10.1007”，”author“：[{”given“：”Enrico“，”family“：”Tronci“，”sequence“：”first“，”affiliation“：[]}，{”Giuseppe“，”“family”：“Della Penna”，“sequence”：“additional”，“affiliance”：[]{“given”：“Benedetto”，“families”：“Intrigila”，“序列”：“additional”，“affiliation”：[]}，{“given”：“Marisa Venturini”，“family”：“Zilli”，“sequence”：“addressional”，“abfiliation“：[]{”，“member”：“297”，“published-on-line”：{“date-parts”：[[2001,8,24]]}；“reference”：[{“key”：”22_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“R.”。布莱恩特。布尔函数操作的基于图形的算法。IEEE传输。《计算机》，C-35（8），1986年8月。“，”DOI“：”10.1109\/TC.1986.1676819“}，{“key”：“22_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.R.Burch，E.M.Clarke，K.L.McMillan，D.L.Dill，L.J.Hwang。符号模型检查：1020个状态及以上。信息与计算，（98），1992。”，“DOI”：“10.1016\/0890-5401（92）90017-A”}，“{“key”：”22_C R3“，”doi-asserted-by“：”crossref“，”unstructured“：”D.L.Dill、A.J.Drexler、A.J.Hu和C.H.Yang。协议验证作为硬件设计辅助工具。IEEE国际计算机设计会议：计算机和处理器中的VLSI，第522\u20135页，1992年。“，”DOI“：”10.1109\/ICCD.1992.276232“}，{“问题”：“5”，“键”：“22_CR4”，“DOI-asserted-by”：“crossref”，“首页”：“279”，“DOI”：“10.1109\/32.588521”，“卷”：“23”，“作者”：“G.J.Holzmann”，“年份”：“1997”，“非结构化”：“G J。霍尔兹曼。旋转模型检查器。IEEE传输。《软件工程》，23（5）：279\u20132951997年5月。关于软件工程“}，{“key”：“22_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“G.J.Holzmann.比特状态散列分析。系统设计中的形式化方法，1998年。”，“doi”：“10.1023\/A:1008696026254”}，“key“：”22_CR6“doi-sserted-by。小茴香。使用隐式连接bdds进行有效验证的新技术。第31届IEEE设计自动化会议，第276\u20132821994页doi-asserted-by“：”crossref“，”unstructured“：”C.N.Ip和D.L.Dill。对称并发系统的有效验证。在IEEE国际计算机设计会议：计算机和处理器中的VLSI，第230\u20132341993页DOI“：”10.1109\/12.144618“}，{“key”：“22_CR10”，“unstructured”：“url:http://sprout.stanford.edu\/dill\/murphi.html.”}，“key“：”22_CR11“，”unstructure“：”A.Papoulis。概率、随机变量和随机过程。McGraw-Hill系统科学系列，1965年。轩尼诗。计算机体系结构定量方法。Morgan Kaufmann，1996.“}，{”key“：”22_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”R.K.Ranjan，J.V.Sanghavi，R.K.Brayton，and A.Sangiovanni-Vincentelli。工作站网络的二进制决策图。IEEE国际计算机设计会议，第358\u2013364页，1996年。“，”doi“：”10.1109\/ICCD.1996.563579“}”，{“key”：“22_CR14”，“doi-asserted-by“：”crossref“，”unstructured“：”J.V.Sanghavi、R.K.Ranjan、R.K.Brayton和A.Sangiovanni-Vincentelli。利用内存层次结构实现高性能bdd包。在1996年第33届IEEE设计自动化会议上，“，”DOI“：”10.1145\/240518.240638“}，”key“：”22_CR15“，”unstructured“：”url:http:\\//netlib.bell-labs.com/netlib\/spin\/whatispin.html.“，”{“key”：“22_CR16”，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，“first page”：”256“，‘DOI’：”10.1007\/3-540-6316 6-6_26“，”卷纸“：”程序。第九届国际计算机辅助验证会议”，“作者”：“U.Stern”，“年份”：“1997年”，“非结构化”：“U.Stern和D.Dill。并行mur\u03d5验证器。程序中。第九届国际计算机辅助验证会议，第1254卷，第256\u2013267页，以色列海法，1997年。LNCS，施普林格。“}，{”key“：”22_CR17“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：“172”，”doi“：”10.1007\/BFb0028743“，”volume-title“：“Proc.10th Int.Conference on Computer Aided Verification”，“author”：“U.Stern”，“year”：“1998”，“unstructured”：“U.Stern and D。小茴香。在mur \u03d5验证器中使用磁盘而不是主存储器。程序中。第十届国际计算机辅助验证会议，第1427卷，第172\u2013183页，加拿大不列颠哥伦比亚省温哥华，1998年。LNCS，施普林格。“｝，｛”key“：”22_CR18“，”doi asserted by“：”crossref“，”非结构化“：”U.Stern和D.L.Dill。通过散列压缩改进概率验证。在IFIP WG 10.5关于正确硬件设计和验证方法的高级研究工作会议上，第206\u20132241995页。“，”doi“：”10.1007\/3-540-60385-9_13“｝，｛”key“：”22_CR19“，”doi asserted by“：”crossref”，“非结构化”：“U.Stern和D.L.Dill。一种新的节省内存的概率验证方案。在IFIP TC6\/WG6.1分布式系统和通信协议形式描述技术及协议规范、测试和验证联合国际会议（1996年）中，“DOI”：“10.1007\/978-0-3879-0_21”}，{“key”：“22_CR20”，“unstructured”：“url:http://\/verify.stanford.edu\/uli\/research.html.”}doi-asserted-by“：”crossref“，”unstructured“：”T.Stornetta和F.Brewer。高效并行bdd包的实现。在第33届IEEE设计自动化会议上，第641\u20136441996页。”，“DOI”：“10.1145\/240518.240639”｝，｛“key”：“22_CR22”，“DOI断言”：“crossref”，“非结构化”：“Pierre Wolper和Dennis Leroy。无碰撞检测的可靠哈希。在Proc.5th Int.Conference on Computer Aided Verification，第59\u201370页，Elounda，Greece，1993。”DOI“：”10.1007\/3-540-56922-7_6“}]，“container-title”：[“计算机科学课堂讲稿”，“正确的硬件设计和验证方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/3-540.44798-9_22”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，”存放“：{“date-parts”：[[2019,4,27]]，“date-time”：“2019-04-27T17:34:28Z”，“timestamp”：1556386468000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10007\/3-540-44798-9_22“}，”副标题“：[]，”短标题“：[]，“issued”：{“date-parts”：[2001]]}，《ISBN》：[“9783540”425410“，”9783540447986“]，”references-count“：22，”URL“：”http:\/\/dx.doi.org\/10.1007\/3-540-44798-9_22“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”值“：”0302-7743“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[2001]]}}}