TitleFormal verification of parallel programs
OrganizationSiberian Federal University
AbstractFormal 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.
Keywordsfunctional dataflow parallel programming, formal verification, Pifagor programming language
For citing this articleKropacheva 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).