Formal verification of programs in the functional data-flow parallel language
M. S. Kropacheva, Alexander Ivanovich Legalov · Automatic Control and Computer Sciences · 2013
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.