A review of specification and verification methods for parallel programs including the dataflow approach

Author

Deshpande, Akshay K. ; Kavi, Krishna M.

Author_Institution

Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA

Volume

77

Issue

12

fYear

1989

fDate

12/1/1989 12:00:00 AM

Firstpage

1816

Lastpage

1828

Abstract

Parallel programs are usually described informally, and these descriptions are implemented on parallel computer systems. When a program does not run correctly, it is often very difficult to determine whether the program description or the implementation is incorrect. This has led to a search for more formal descriptions of parallel programs and to proof systems for the verification of the implementations. Formal methods for the specification and verification of parallel programs are reviewed, and a new method that is based on dataflow graphs is described

Keywords

formal specification; parallel programming; program verification; data-flow graphs; dataflow; dataflow graphs; formal descriptions; parallel program specification; parallel programs; program verification; proof systems; Computer architecture; Concurrent computing; Distributed computing; Error correction; Flow graphs; Parallel processing; Parallel programming; Programming profession; Safety; Senior members;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/5.48825

Filename

48825