Formal Verification of Programs in Functional Dataflow Parallel Language

Modelirovanie i Analiz Informacionnyh Sistem

M. S. Kropacheva¹  A. I. Legalov¹ 

[1] Сибирский федеральный университет;

关键词: функционально-потоковое параллельное программирование;    язык программирования Пифагор;    формальная верификация программ;   

DOI  :  

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown