咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 程序条件化
  • 2 篇 软件模型检测
  • 1 篇 符号化执行
  • 1 篇 状态
  • 1 篇 状态爆炸
  • 1 篇 状态空间缩减
  • 1 篇 迁移模型
  • 1 篇 自动定理证明
  • 1 篇 线性时序逻辑

机构

  • 2 篇 西安交通大学
  • 1 篇 西安安智科技有限...
  • 1 篇 湖南涉外经济学院

作者

  • 2 篇 肖健宇
  • 2 篇 zhang deyun
  • 2 篇 xiao jianyu
  • 2 篇 张德运
  • 1 篇 董皓
  • 1 篇 张勇
  • 1 篇 陈海诠
  • 1 篇 dong hao
  • 1 篇 郑卫斌
  • 1 篇 chen haiquan
  • 1 篇 zheng weibin
  • 1 篇 zhang yong

语言

  • 2 篇 中文
检索条件"主题词=程序条件化"
2 条 记 录,以下是1-10 订阅
排序:
用于克服程序状态空间爆炸的条件预处理
收藏 引用
计算机工程 2006年 第19期32卷 51-53页
作者: 肖健宇 张德运 陈海诠 董皓 湖南涉外经济学院计算机系 长沙410205 西安交通大学电子与信息工程学院 西安710049
提出用条件技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件,通过对程序符号执行后各控制点的路径条件进行逻辑推理,删除那些对性质检测无关的语句。理论分析和实验... 详细信息
来源: 评论
程序条件化用于软件模型检测中的状态空间缩减
收藏 引用
西安交通大学学报 2006年 第4期40卷 377-380页
作者: 肖健宇 张德运 郑卫斌 张勇 西安交通大学电子与信息工程学院 西安安智科技有限公司 西安710049
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件的约束条件,通过分析程序符号执行语义,借助自动定理证明器,对语句的可达性条件... 详细信息
来源: 评论