This article is cited in 1 paper

Formal Verification of Programs in Functional Dataflow Parallel Language

M. S. Kropacheva, A. I. Legalov

Siberian Federal University

Abstract: The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs correctness could be proved.

Keywords: functional data-flow parallel programming, Pifagor programming language, programs formal verification.

UDC: 517.51+514.17

Received: 23.08.2012