Formal Verification of Programs in Functional Dataflow Parallel Language
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.
Main Authors: | M. S. Kropacheva, A. I. Legalov |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2015-03-01
|
Series: | Modelirovanie i Analiz Informacionnyh Sistem |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/59 |
Similar Items
-
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2015-02-01) -
Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01) -
Loop-invariant Optimization in the Pifagor Language
by: Vladimir S. Vasilev, et al.
Published: (2018-08-01) -
A formal approach to contract verification for high-integrity applications
by: Zhang, Zhi
Published: (2016)