并行程序验证的调度策略

摘要

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