Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Параллельные вычислительные технологии 2013; Челябинск; Челябинск
Год издания: 2013
Аннотация: Работа посвящена применению дедуктивного анализа для автоматизированного доказательства корректности функционально-потоковых параллельных программ на языке Пифагор. Строится исчисление Хоара для этого языка. Корректность рекурсивных функций доказывается с помощью метода индукции.
Журнал: Параллельные вычислительные технологии 2013 (ПаВТ'2013)
Номера страниц: 421-431
Издатель: Издательский центр ЮУрГУ