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