计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
12期
64-65,68
,共3页
Hoare逻辑%依赖分析%并行验证
Hoare邏輯%依賴分析%併行驗證
Hoare라집%의뢰분석%병행험증
提高验证过程的并行性是提高程序验证效率的重要手段之一.为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性.此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性.
提高驗證過程的併行性是提高程序驗證效率的重要手段之一.為此,提齣一種基于控製結構依賴分析的方法來組織程序的併行驗證,在驗證過程中,併行驗證完的控製結構直接觸髮支持控製結構,無鬚等待其他操作,從而可以提高程序驗證的併行性.此外,還給齣提取控製結構依賴圖算法和驗證過程調度算法,併用實驗證明其正確性和高效性.
제고험증과정적병행성시제고정서험증효솔적중요수단지일.위차,제출일충기우공제결구의뢰분석적방법래조직정서적병행험증,재험증과정중,병행험증완적공제결구직접촉발지지공제결구,무수등대기타조작,종이가이제고정서험증적병행성.차외,환급출제취공제결구의뢰도산법화험증과정조도산법,병용실험증명기정학성화고효성.