Résultats de la recherche - "functional data-flow parallel programming"
-
1
Formal Verification of Programs in Functional Dataflow Parallel Language
Publié 2015-03-01Sujets: “…functional data-flow parallel programming…”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.
Accéder au texte intégral
Article -
2
Automation of Formal Verification of Programs in the Pifagor Language
Publié 2015-08-01Sujets: “…functional data-flow parallel programming…”Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automation of the proof process. However, the method of dedu...
Accéder au texte intégral
Article