COUNTEREXAMPLE

作品数：18被引量：19H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关机构：清华大学更多>>
相关期刊：《Journal of Computer Science & Technology》《Applied Mathematics》《Acta Mathematica Sinica,English Series》《Science China Mathematics》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金上海市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Lazy Slicing for State-Space Exploration被引量：1
《Journal of Computer Science & Technology》2012年第4期872-890,共19页黄少滨 黄宏涛 陈志远 吕天阳 张涛 
Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02
CEGAR （Counterexample-guided abstraction refinement）-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...
关键词：counterexample-guided abstraction refinement spurious counterexample over-approximate slicing local refinement lazy slicing 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部