并行程序验证的调度策略

• 作者: 何锫 康立山 肖增良
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序验证 并行调度 语法分析树 依赖图 依赖集
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 研究、探讨
• 页码范围: 39-41
• 页数: 3页
• 分类号: TP301
• 字数: 2320字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.11.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	康立山	武汉大学软件工程国家重点实验室	127	2409	27.0	44.0
2	肖增良	长沙理工大学计算机与通信工程学院	9	41	4.0	6.0
3	何锫	长沙理工大学计算机与通信工程学院	27	137	7.0	9.0