Перевод названия: FORMAL VERIFICATION OF PARALLEL PROGRAMS
Тип публикации: статья из журнала
Год издания: 2012
Ключевые слова: functional dataflow parallel programming, formal verification, Pifagor programming language, функционально-потоковое параллельное программирование, формальная верификация, язык программирования Пифагор
Аннотация: Рассматривается формальная верификация функционально-потоковых параллельных программ. Ошибки, характерные для императивных параллельных программ, отсутствуют в функционально-потоковых параллельных программах, что позволяет упростить верификацию. Анализируется корректность примера программы на языке Пифагор. Formal verification of fПоказать полностьюunctional 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.
Журнал: Исследования наукограда
Выпуск журнала: № 2
Номера страниц: 35-38
ISSN журнала: 22259449
Место издания: Железногорск
Издатель: Общество с ограниченной ответственностью "Умный город"