{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,4,5]]，“日期时间”：“2022-04-05T04:42:31Z”，“时间戳”：1649133751116}，“引用计数”：14，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,11]]}，“DOI”：“10.1109\/hldvt.2009.5340169”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2009,12,10]]，“date-time”：“2009-12-10T15:27:48Z”，“timestamp”：1260458868000}，“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“MCAPI中多核通信应用程序的动态验证”]，“prefix”：“101109”，”“author”：[{“给定”：“Subodh”，“家庭”：“Sharma”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Ganesh”，“family”：“Gopalakrishnan”：“MCC A MCAPl应用程序的运行时验证工具”｝，｛“key”：“14”，“doi断言者”：“publisher”，“doi”：“10.1109\/32.588521”｝，｛“key”：“11”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-540-70545-1_9”｝，｛“key”：“12”，“author”：“clarke”，“year”：“2000”，“期刊标题”：“模型检查”｝，｛“key”：“3”，“year”：“0”｝，｛key“：”2“，”年份“：”0“｝，｛”key“：”1“，”年份“：“0”}，{“key”：“10”，“year”：“0“}，}“keys”：“7”，“first-page”：“58”，“article-title”：“Distributed dynamic pratial order reduction based verification”，“author”：“yang”，“年份”：“2007”，“journal-title“：”SPIN“}”，{《key》：“6”，“作者”：“pathfinder”，“年”：“零”}、{“密钥”：“5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/1047659.1040315“}，{”键“：”4“，”首页“：”476“，“article-title”：“Verisoft:一个工具，用于并发反应式软件的自动分析”，“author”：“godefroid”，“year”：“1997”，“journal-title“：”CAV“}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1250734.1250785”}，“{”key“：”8“，“doiasserted-by“：”crossref“，”first page“285”，“doi”：”10.1145\/1345558“，“物品标签”：“MPI程序模型检查工具”，“author”：“vakkalanka”，“year”：“2008”，“journal-title”：“PPoPP”}]，“event”：{“name”：“2009 IEEE International High Level Design Validation and Test Workshop（HLDVT）”，“location”：“San Francisco，CA，USA”，“start”：}“date-parts”：[[2009,11,4]]}，“end”：{“date-parts”：[2009,11,6]}}，”container-title“：[“2009 IEEE国际高层设计验证与测试研讨会”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/5331931\/5340157\/053401169.pdf？arnumber=5340169”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,19]]，“date-time”：“2017-06-19T02:40:26Z”，“timestamp”：1497840026000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/5340169\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2009,11]]}，‘references-count’：14，”URL“：”http://\/dx.doi.org \/10.109 \/hldvt.2009.5340169“，”关系“：{}，”主题“：[]，”已发布“：{“日期部分”：[[2009,11]]}}