计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
11期
39-41
,共3页
程序验证%并行调度%语法分析树%依赖图%依赖集
程序驗證%併行調度%語法分析樹%依賴圖%依賴集
정서험증%병행조도%어법분석수%의뢰도%의뢰집
针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法.通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统.实验结果表明,该方法具有较高的并行效率.
針對形式化程序驗證中的併行調度問題,提齣瞭基于依賴集的算法.通過引入依賴圖和依賴集概唸,以形式化方式描述程序語句間的依賴關繫,然後給齣瞭從語法分析樹構造依賴圖和依賴集的算法;最後在此基礎上設計瞭併行調度算法併應用于計算機輔助程序驗證繫統.實驗結果錶明,該方法具有較高的併行效率.
침대형식화정서험증중적병행조도문제,제출료기우의뢰집적산법.통과인입의뢰도화의뢰집개념,이형식화방식묘술정서어구간적의뢰관계,연후급출료종어법분석수구조의뢰도화의뢰집적산법;최후재차기출상설계료병행조도산법병응용우계산궤보조정서험증계통.실험결과표명,해방법구유교고적병행효솔.