并行程序验证的调度策略

作     者：肖增良 何锫 康立山 XIAO Zeng-liang;HE Pei;KANG Li-shan

作者机构：长沙理工大学计算机与通信工程学院长沙410076 武汉大学软件工程国家重点实验室武汉430072 

基　　金：国家自然科学基金No.60473081 武汉大学软件工程国家重点实验室资助项目(No.SKLSE20080701)~~ 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2009年第45卷第11期

页      码：39-41页

摘      要：针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。

主 题 词：程序验证 并行调度 语法分析树 依赖图 依赖集 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2009.11.012

馆 藏 号：203294859...