Title :
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
fDate :
12/1/1989 12:00:00 AM
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;
Journal_Title :
Proceedings of the IEEE
