咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 优化分析
  • 1 篇 功能验证
  • 1 篇 存储模块
  • 1 篇 有界模型检测器

机构

  • 1 篇 北京交通大学

作者

  • 1 篇 王舜
  • 1 篇 杜晔
  • 1 篇 韩臻

语言

  • 1 篇 中文
检索条件"主题词=有界模型检测器"
1 条 记 录,以下是1-10 订阅
排序:
针对存储为主的模块的一种软件模型检测方法
针对存储为主的模块的一种软件模型检测方法
收藏 引用
第二十四届全国信息保密学术会议(IS2014)
作者: 王舜 杜晔 韩臻 北京交通大学计算机与信息技术学院
本文结合某可靠性苛求模块检测的实际需求,抽象出存储为主的模块的概念和特点,并在其基础上分析了BMC方法的适用性,给出了以BMC为核心的针对存储为主的模块的优化检测方法及其实现。最后以测试数据说明了其有效性。
来源: 评论