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.
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Article |
| Langue: | anglais |
| Publié: |
Yaroslavl State University
2015-03-01
|
| Collection: | Моделирование и анализ информационных систем |
| Sujets: | |
| Accès en ligne: | https://www.mais-journal.ru/jour/article/view/59 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Soyez le premier à ajouter un commentaire!