Formal Verification of Programs in Functional Dataflow Parallel Language

Formal Verification of Programs in Functional Dataflow Parallel Language

Show other versions (1)

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.

Bibliographic Details
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:
functional data-flow parallel programming
pifagor programming language
programs formal verification
Online Access:https://www.mais-journal.ru/jour/article/view/59
id doaj-dd9fdfceeb8a46f7be88dedb37d581fe
record_format Article
spelling doaj-dd9fdfceeb8a46f7be88dedb37d581fe2021-07-29T08:15:20ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172015-03-01195819910.18255/1818-1015-2012-5-81-9953Formal Verification of Programs in Functional Dataflow Parallel LanguageM. S. Kropacheva0A. I. Legalov1Сибирский федеральный университетСибирский федеральный университет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.https://www.mais-journal.ru/jour/article/view/59functional data-flow parallel programmingpifagor programming languageprograms formal verification
collection DOAJ
language English
format Article
sources DOAJ
author M. S. Kropacheva
A. I. Legalov
spellingShingle M. S. Kropacheva
A. I. Legalov
Formal Verification of Programs in Functional Dataflow Parallel Language
Modelirovanie i Analiz Informacionnyh Sistem
functional data-flow parallel programming
pifagor programming language
programs formal verification
author_facet M. S. Kropacheva
A. I. Legalov
author_sort M. S. Kropacheva
title Formal Verification of Programs in Functional Dataflow Parallel Language
title_short Formal Verification of Programs in Functional Dataflow Parallel Language
title_full Formal Verification of Programs in Functional Dataflow Parallel Language
title_fullStr Formal Verification of Programs in Functional Dataflow Parallel Language
title_full_unstemmed Formal Verification of Programs in Functional Dataflow Parallel Language
title_sort formal verification of programs in functional dataflow parallel language
publisher Yaroslavl State University
series Modelirovanie i Analiz Informacionnyh Sistem
issn 1818-1015
2313-5417
publishDate 2015-03-01
description 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.
topic functional data-flow parallel programming
pifagor programming language
programs formal verification
url https://www.mais-journal.ru/jour/article/view/59
work_keys_str_mv AT mskropacheva formalverificationofprogramsinfunctionaldataflowparallellanguage
AT ailegalov formalverificationofprogramsinfunctionaldataflowparallellanguage
_version_ 1721256518300467200

Similar Items