Article

Cover

Title

Formal verification of parallel programs

Author

M.S. Kropacheva

Organization

Siberian Federal University
Krasnoyarsk, Russia

Abstract

Formal verification of functional dataflow parallel programs is considered. Errors that are typical for imperative parallel programs are entirely absent in functional dataflow parallel programs. As a result, formal verification of such programs is easier. The correctness of an example program in Pifagor language is analyzed.

Keywords

functional dataflow parallel programming, formal verification, Pifagor programming language

For citing this article

Kropacheva M.S. Formal verification of parallel programs // The Research of the Science City, 2012, no. 2, pp. 35-38.

This Article is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).