云南高校图书馆联盟文献共享服务平台- COMPETENT

COMPETENT: 作品数：75被引量：117H指数：7; 导出分析报告; 相关领域：医药卫生更多>>; 相关作者：李阳李晓理冷雪莲张琪吴孟超更多>>; 相关机构：东北师范大学北京科技大学中国传媒大学四川外国语大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划北京市自然科学基金上海市青年科技启明星计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

Competent predicate abstraction in model checking被引量：4: 《Science China(Information Sciences)》2011年第2期258-267,共10页LI Li SONG XiaoYu GU Ming LUO XiangYu; supported by the National Basic Research Program of China (Grant No. 2004CB719406);the National Natural Science Foundation of China (Grant Nos. 60635020, 90718039, 60763004); The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in ...; 关键词：PROGRAM model checking predicate abstraction weight heuristic