{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T23:14:38Z”，“时间戳”：1649200478906}，“引用计数”：32，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,7]]}，“DOI”：“10.1109\/memcod.2009.5185373”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T15:09:22Z”，“timestamp”：1250003362000}，“source”：《Crossref》，“is-referenced-by-count”：2，“title”：[“物美价廉：为有效利用资源提供和调度验证引擎”]，“prefix”：“10.109”，“author”：[{“given”：“Malay K.”，“family”：“Ganai”，“sequence”：“first”，“affiliation”：[]}，{“families”：“Weihong Li”，“serquence”:“additional”，“feliation”:[]}]，“member”：“263”，“reference”：[{-“key”:“19”，“article-title”：“程序动态特性的静态确定”，“author”：“cousot”，“year”：“1976”，“journal-title“国际程序设计研讨会”}，{“key”：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1233501.233664”}，{”key“：“18”，“article-title”：“程序切片技术的调查”，“author”：“tip”，“year”：“1995”，“journal-title“：”J program Lang“}，”{“key”：“15”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/106501060.1065036“}”，{，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICSE.2007.41”}，{“key”：“13”，“article-title”：“使用协同形式化和仿真引擎进行智能仿真”，“author”：“ho”，“year”：“2000”，“journal-title“：”ICCAD的程序“}，}”key“：”14“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/SEFM.2004.134530“}3\/A:101189608077“，“article-title”：“siva:一个覆盖率定向状态空间搜索系统”，“author”：“ganai”，“year”：“2001”，“journal-title“：“journal of Electronic Testing Theory and Applications”}，{“key”：“12”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/277044.277201“”、“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TCAD.2008.925777”}，{“key”：“22”，“doi-sserted-by“：”publisher“，”doi“：“10.1007\/978-3-540-73368-3_40”}、{“密钥”：“23”、“doi-asserted-by”：”publister“，”doi“：”10.1109\/MEMCOD.2006.1695896“}，“key“：”24“，”article-title“：”diver:sat-based model大型系统验证检查平台”，“作者”：“加纳”，“年”：“2005”，“日记标题”：“TACAS的进程”}，{“键”：“25”，“文章标题”：”mathsat 3 system“，”author“：”bozzano“，”year“：”2005“，”journal-title“：”Proc of CADE“}，”{“key”：“26”，“论文标题”：：“dpll（t）的快速线性算术解算器”，“author”：“dutterre”，“year”：“2006”，“日志标题”：《CAV的进程》}，{“key”：“27”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/332740.332746”}，{“key”：“28”，“article-title”：“抽象指导的测试生成：案例研究”，“author”：“ball”，“year”：“2003”，“journal-title“：”技术报告MSR-TR-2003-86“}，}“key”：“29”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/368122.368878”}“：”biere“，”year“：“1999”，“journal-title”：“TACAS程序”}，{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-1-4615-3190-6”}、{“key”：”10“，“doiasserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-74061-2_23“}，“key“：”1“，”author“：”clarke“，”年份“：”1999“，”journal-title“：”模型检查“}”，{“key”：“30”，“year”：“0”，“journal-title”：“Yices An SMT Solver”}，{“密钥”：“7”，“文章标题”：“f-soft:软件验证平台”，“作者”：“ivanc？ic？”，“年份”：“2005”，“期刊标题”：“CAV过程”}，{“密钥”：“6”，“文章标题”：“slam工具箱”，“作者”：“球”，“年份”：“2001”，“期刊标题”：“CAV过程”}，{“密钥”：“32”，“doi断言者”：“发布者”，“doi”：“10.1145\/12826.125848”}，{“密钥”：“5”，doi断言者“：”交叉引用“，“author”：“ganai”，“year”：“2007”，“journal-title”：“SAT-based Scalable Formal Verification Solutions”，“DOI”：“10.1007\/978-0-387-69167-1”}，{“key”：“31”，“article-title“：”结合基于电路和基于cnf的算法的优势，实现高性能SAT求解器“，”author“：”ganai“，”year“2002”，“journal-ttitle”：”Proc of DAC“}”，{”key“：“4”，“article-title”：“使用归纳法和sat解算器检查安全属性”，“author”：“sheeran”，“year”：“2000”，“journal-title”：“FMCAD程序”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512950.512973”}：“2009年第七届IEEE \/ACM协同设计形式方法和模型国际会议（MEMOCODE）”，“地点”：“美国马萨诸塞州剑桥”，“开始”：{“date-parts”：[[2009,7,13]]}，“结束”：{“date-parts”：[[2009,7,15]}}，”container-title“：[”2009年第7届IEEE \/ACM联合设计形式方法与模型国际会议“]，”原始标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185373.pdf？arnumber=5185373”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,18]]，“date-time”：”2017-06-18T18:43:27Z“timestamp”：1497811407000}，“score”：1，“资源”：{“主资源”：}“URL”：“http://\/ieeexplore.iee.org\/document\/5185373\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2009,7]]}，”引用计数“：32，”URL“：”http://\/dx.doi.org\/10.109\/memcod.2009.5185373“，”关系“：{}”，“主题”：[]]，“发布”：}“日期–部件”：[2009,7]}}}