RU/ENG



Верификация функционально-потоковых параллельных программ с помощью интервальных формул

Тематики ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Авторы Удалова Юлия Васильевна
Номер2016'2(14)
Страницы259-262
Ключевые словаверификация, спецификация, параллельное программирование, функциональное программирование
Аннотация В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спе-цификации программы и представления промежуточных утверждений формулы с ин-тервальными константами
Текст статьи Доступ к полному тексту открыт