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

赵璐: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>; 发文主题：候选集候选状态搜索偏序软件模型检测更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机工程》更多>>; 所获基金：国家教育部博士点基金国家自然科学基金哈尔滨市科技创新人才研究专项资金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

收缩候选回溯集的有状态动态偏序归约方法被引量：1: 《计算机工程》2015年第5期70-76,共7页赵璐张健沛杨静; 国家自然科学基金资助项目(61370083;61073043;61073041);教育部高等学校博士学科点专项科研基金资助项目(20112304110011;20122304110012);哈尔滨市科技创新人才研究专项基金资助项目(2011RFXXG015); 在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而动态偏序归约需不断利用当前候选回溯集更新相应回溯集,导致更新回溯集的计算成本过高。为此,形式化定义...; 关键词：软件模型检测动态偏序归约有状态搜索回溯集收缩候选集