Towards parallel program verification

被引：0

作者：

He, Pei ^{[1
]}

Kang, Lishan ^{[1
]}

机构：

[1] Wuhan Univ, State Key Lab Software Engn, Wuhan 430072, Hubei, Peoples R China

来源：

DCABES 2007 Proceedings, Vols I and II | 2007年

关键词：

program verification; parallel verification; Hoare's logic; model checking; finite state automaton;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Parallel verification of programs is a relatively new research area. In this paper, we first introduce our modeling approach to Hoare's logic, and then present an algorithm for parallel verification. The result indicates: Hoare's logic and model checking techniques can be thoroughly combined within finite state automatons. Besides, the obtained model has a potential for parallel verification of programs over arbitrary granularity.

引用

页码：14 / 18

页数：5