您的位置： 专家智库 > >

陶荣

作品数：1 被引量：1H指数：1
供职机构：长沙理工大学计算机与通信工程学院更多>>
发文基金：国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇HOARE逻...
  • 1篇并行化

机构

  • 1篇长沙理工大学
  • 1篇武汉大学

作者

  • 1篇何锫
  • 1篇陶荣
  • 1篇黄道昌

传媒

  • 1篇计算机工程

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于依赖分析的并行化验证策略被引量：1
2010年
提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。
陶荣何锫黄道昌
关键词：HOARE逻辑
全选 清除 导出
共1页<1>
聚类工具0