Geodesic
Formal Verification of Programs in Functional Dataflow Parallel Language
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 81-99

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{MAIS_2012_19_5_a8,
     author = {M. S. Kropacheva and A. I. Legalov},
     title = {Formal {Verification} of {Programs} in {Functional} {Dataflow} {Parallel} {Language}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {81--99},
     publisher = {mathdoc},
     volume = {19},
     number = {5},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/}
}
TY  - JOUR
AU  - M. S. Kropacheva
AU  - A. I. Legalov
TI  - Formal Verification of Programs in Functional Dataflow Parallel Language
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 81
EP  - 99
VL  - 19
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/
LA  - ru
ID  - MAIS_2012_19_5_a8
ER  - 
%0 Journal Article
%A M. S. Kropacheva
%A A. I. Legalov
%T Formal Verification of Programs in Functional Dataflow Parallel Language
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 81-99
%V 19
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/
%G ru
%F MAIS_2012_19_5_a8
M. S. Kropacheva; A. I. Legalov. Formal Verification of Programs in Functional Dataflow Parallel Language. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 5, pp. 81-99. http://geodesic.mathdoc.fr/item/MAIS_2012_19_5_a8/