Перевод названия: Formal Verification of Programs in Functional Dataflow Parallel Language
Тип публикации: статья из журнала
Год издания: 2012
Ключевые слова: 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.
Журнал: Моделирование и анализ информационных систем
Выпуск журнала: Т. 19, № 5
Номера страниц: 81-99
ISSN журнала: 18181015
Место издания: Ярославль
Издатель: федеральное государственное бюджетное образовательное учреждение высшего образования "Ярославский государственный университет им. П.Г. Демидова"