Formal verification of programs in the functional data-flow parallel language

Описание

Тип публикации: статья из журнала

Год издания: 2013

Идентификатор DOI: 10.3103/S0146411613070225

Ключевые слова: Functional data-flow parallel programming, Pifagor programming language, Programs formal verification

Аннотация: 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. © Allerton Press, Inc., 2013.

Ссылки на полный текст

Издание

Журнал: Automatic Control and Computer Sciences

Выпуск журнала: Vol. 47, Is. 7

Номера страниц: 373-384

Персоны

  • Kropacheva M.S. (Siberian Federal University, Institute of Space and Information Technology, Russian Federation)
  • Legalov A.I. (Siberian Federal University, Institute of Space and Information Technology, Russian Federation)

Вхождение в базы данных