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

Journal Article · Fri Dec 01 00:00:00 EST 1989 · Proceedings of the IEEE (Institute of Electrical and Electronics Engineers); (USA)

DOI:https://doi.org/10.1109/5.48825· OSTI ID:7131144

Deshpande, A K; Kavi, K M ^[1]

---

1. Texas Univ., Arlington, TX (USA). Dept. of Computer Science

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 the search for more formal descriptions of parallel programs, and proof systems for the verification of the implementations. In this paper, the authors introduce some such formal methods for the specification and verification of parallel programs. They describe a method that is based on dataflow graphs.

• OSTI ID: 7131144
• Journal Information: Proceedings of the IEEE (Institute of Electrical and Electronics Engineers); (USA), Vol. 77:12; ISSN 0018-9219
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
PARALLEL PROCESSING
SPECIFICATIONS
DATA-FLOW PROCESSING
GRAPHS
IMPLEMENTATION
VERIFICATION
PROGRAMMING
990200* - Mathematics & Computers