Formal verification of parallel programs
Автор: Kropacheva Maria S.
Журнал: Космические аппараты и технологии.
Рубрика: Информационные технологии
Статья в выпуске: 2 (2), 2012 года.
Бесплатный доступ
Formal verification of functional dataflow parallel programs is considered. Errors that are typical for imperative parallel programs are entirely absent in functional dataflow parallel programs. As a result, formal verification of such programs is easier. The correctness of an example program in Pifagor language is analyzed.
Functional data-flow parallel programming, formal verification, pifagor programming language
Короткий адрес: https://sciup.org/14117276
IDR: 14117276
Статья научная
