{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,2]，“日期-时间”：“2022-04-02T18:32:26Z”，“时间戳”：1648924346096}，“引用-计数”：27，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2008,2,1]]，“日期时间”：02-01T00:00:00Z“，”时间戳“：1201824000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：2005，“URL”：“http://creativecommons.org许可证\/by-nc-nd\/3.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2008,2]]}，”DOI“：”10.1016\/j.entcs.2007.10.20“，”type“：”journal-article“，”created“：{”date-part“：[2008,3,6]]，”date-time“：”2008-03-06T19:20:01Z“，”timestamp“：1204831201000}”，“page”：“47-61“，”source“：”Crossref“，“被count引用”：3，“title”：[“测量和评估并行状态空间探索算法”]，“prefix”：“10.1016”，“volume”：“198”，“author”：[｛”给定“：“Jonathan”，“family”：“Ezekiel”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Gerald”，“family”：“L\u00fcttgen”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛”key：“10.1016\/j.entcs.2007.10.020_bib001”，“首页”：“551”，“article-title”：“集群计算：商品超级计算机”，“卷”：“29”，“作者”：“贝克”，“年份”：“1999”，“日记标题”：“SPE”}，{“key”：“10.116\/j-entcs.20007.10.20_bib002”，“series-title”：：“Distributing timed model checking\u2013 How the search order matters”，“volume”：“1855”，“author”：“Behrmann”，“year”：“2000”}，{“key”：”10.1016\/j.entcs.2007.10.20_bib003“，“series-title”：“SPIN”，“first page”：：“128”，“article-title”：”“无交替的本地并行模型检查\u03bc-calculus”，”volume：“2318”，“author”:“Bollig”，“年份”：“2002”}，{“key”：“10.1016\/j.entcs.2007.10.020_bib004”，“series-title”：“FSTTCS”，“首页”：“96”，“article-title”：”基于负循环检测的分布式LTL模型检查“，”volume“：”2245“，”author“：”Brim“，”year“：”2001“}，{“key”：”10.1016//j.entcs.2007.10.200_bib005“，”series-ttle“：”使用POSIX线程编程“，”author“”：“Butenhof”，“year”：“1997”}，{“key”：“10.1016\/j.entcs.2007.10.20_bib006”，“unstructured”：“Chung，M.-Y.和G.Ciardo，Saturation NOW，in：QEST（2004），pp.272\u2013281”}，{“key”：”10.1016\/j.entcs.2007.01.020_bib007“，”series-title“：”TACAS“，“第一页”：“328”，“article-title”：“饱和：符号状态空间生成的有效迭代策略”，“卷”：“2031”，“作者”：“Ciardo”，“year”：“2001”}，{“key”：“10.1016\/j.entcs.2007.10.020_bib008”，”doi-asserted-by“：”crossref“，”unstructured“：”Ezekiel，j.，G.L\u00fcttgen和G.Ciardo.，《并行符号状态空间生成器》，in：CAV，LNCS，2007，to present“，”doi“：”10.1007\/978-3-540-73368-3_31“}，}，“key“：”1016\/j.entcs.2007.10.02 0_bib009“，”series-title“：”PDMC“，“first page”：“331”，“article-title”：“Saturation be parallelised？On the parallelisation of a symbol state space generator”，“volume”：”4346“，“author”：“Ezekiel”，“year”：“2006”}，{“key”：《10.1016\/j.entcs.2007.10.20_bib010”，“doi-asserted-by”：“crossref”，”非结构化：“Frigo，M.，C.E.Leiserson and K.H。Randall，Cilk-5多线程语言的实现，载于：SIGPLAN（1998），第212\u2013223页“”key“：”10.1016\/j.entcs.2007.10.20_bib012“，”series-title“：”IRREGULAR“，”first page“：“1”，“volume”：“980”，“author”：“Gautier”，“year”：“1995”}，{“key”：”10.116\/j-entcs.20007.10.20_bin013“，”unstructured“：”Graham，S.L.，P.B.Kessler和M.K.McKusick，Gprof:A call graph execution profiler（带回顾性），收录于：PLDI（1982），第49\u2013页57“}，{”键“：”10.1016\/j.entcs.2007.10.020_bib014“，“series-title”：“并行计算简介”，“author”：“Grama”，“year”：“2002”}，{“key”：“10.1016\/j.entcs.2007.01.020_bin015”，“series-title”：”CHARME“，”first page“：”129“，”article-title“：”通过异步计算在分布式符号可达性分析中实现加速“，”volume“：“3725”，“author“：”Grumberg“，”year“：”2005“}，{”key“：”10.1016\/j.entcs.2007.10.020_bib016“，”series-title“：”CAV“，”first page“：“54”，”article-title“：“可达性分析的一种有效的分布式算法”，“volume”：“2725”，“author”：“Grumberg-”，“year”：“2003”}，“key”：”10.116\/j-entcs.20007.10.020_ bib017“，”doi-asserted-by“：“crossref”，“非结构化”：“Gupta，A.，A.Tucker和S.Urushibara，《操作系统调度策略和同步方法对并行应用程序性能的影响》，载于：SIGMETRICS（1991），第120\u2013132页，“DOI”：“10.1145\/107971.107985”}，{“key”：“101016\/j.entcs.2007.10.20_bib018”，“series-title”：“CAV”，“first page”：第20页，“article-title”：实现超大电路并行可达性分析的可扩展性”，“卷”：“1855”，“作者”：“海曼”，“年份”：“2000”}，{“密钥”：“10.1016\/j.entcs.2007.10.20_bib019”，“非结构化”：“Inggs，C.P.，\u201cShared Memory Architectures上的并行模型检查，英国曼彻斯特大学博士论文（2004）”}10.1016\/j.entcs.2007.10.20_bib020”，“article-title”：“共享内存体系结构模型检查的有效状态探索”，“volume”：“68”，“author”：“Inggs”，“year”：“2002”，“journal-title“：”entcs“}，{“key”：”10.1016\/j.entcs.2007.01.020_bib021“，”first page“：”13529”，“author”：“Inggs”，“year”：“2006”，“journal-title”：“FMSD”}，{“key”：“10.1016\/j.entcs.2007.10.20_bib022”，“doi-asserted-by”：“crossref”，“unstructured”：“Kimura，S.和E.M.Clarke，《构建二元决策图的并行算法》，收录于：ICCD（1990），第220\u2013223页”，“doi”：“101109\/ICCD.1990.130209”}10.1016\/j.entcs.2007.10.020_bib023“，”doi-asserted-by“：”crossref“，”first page“：”127“，“doi”：“10.1016\/S0166-5316（99）00061-9”，“article-title”：“分布式生成超大状态空间的概率动态技术”，“volume”：“39”，“author”：“Knottenbelt”，“year”：“2000”，“journal-title“：”Perform.Eval。“}，{”key“：”10.1016\/j.entcs.2007.10.020_bib024“，”series-title“：”SPIN“，”first page“：“22”，“article-title”：“使用SPIN检查分布式内存模型”，“volume”：“1680”，“author”：“Lerda”，“year”：“1999”}，“key”：”10.116\/j-entcs.20007.10.200_bib0205“，”“series-ttle”：”FMCAD“，”首页“：”501“，”-title“：”BDDNOW:并行BDD包“，”卷“：”1522“，”author“：”Milvang-Jensen“，”year“：”1998“}，{”key“：”10.1016\/j.entcs.2007.10.20_bib026“，”first page“：“117”，”article-title“：”Parallelizing the Mur\u03d5 verifier“，”volume“：“doi-asserted-by”：“crossref”，“unstructured”：“Stornetta，T.和F。Brewer，高效并行BDD包的实现，见：DAC（1996），第641\u2013644页，“DOI”：“10.1145\/240518.240639”}]，“container-title”：[“理论计算机科学中的电子笔记”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108000704？httpAccept=text\/xml”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066108000704？httpAccept=text\/plain“，”content-type”：“text\/plan”，“content-versiion”：“vor”，“intended-application”：“text-miniing”}]，“deposed”：{“date-parts”：[2018,12,31]]，“日期时间“：”2018-12-31T01:29:19Z”，“时间戳”：1546219759000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066108000704”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2008,2]]｝，“引用次数”：27，“期刊发行”：｛“发行”：“1”，“已发布印刷品”：｛“日期部分”：[[2008,2]]｝，“备选id”：[”S1571066108000704“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.entcs.2007.10.20“，”关系“：{}，”ISSN“：[”1571-0661“]，“ISSN-type”：[{“value”：“1571-0671”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2008,2]}}}}