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

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