М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 2012, том 19, номер 5,страницы 81

Эта публикация цитируется в 1 статье

Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования

М. С. Кропачева, А. И. Легалов

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

Аннотация: Работа посвящена доказательству корректности параллельных программ на основе аксиоматического подхода. Описана формальная система дляфункционально-потокового языка параллельного программирования Пифагор, в рамках которой можно проводить доказательства.

Ключевые слова: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ.

УДК: 517.51+514.17

Поступила в редакцию: 23.08.2012