Просмотр сведений о научной статье

Обложка номера

Заголовок

Формальная верификация параллельных программ

Автор

М.С. Кропачева

Организация

Сибирский федеральный университет
г. Красноярск, Красноярский край, Россия

Аннотация

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

Ключевые слова

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

Список литературы

[1] Непомнящий В. А., Рякин О. М. Прикладные методы верификации программ. – М. : Радио и связь, 1988. – 255 с.

[2] Кларк М., Грамбер, О., Пелед Д. Верификация моделей программ: Model Checking / под ред. Р. Смелянского. – М. : МЦНМО, 2002. – 416 с.

[3] Hoare C. A. Retrospective: An axiomatic basis for computer programming // Communications of the ACM. – 1969. – Vol. 10. – № 12. – P. 576–585.

[4] Floyd R. W. Assigning meaning to programs // Proc. of Symposium in Applied Mathematics. J. T. Schwartz, ed. Mathematical Aspects of Computer Science. – 1967. – № 19. – P. 19?32.

[5] Легалов А. И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. – 2005. – № 1 (10). – С. 71–89.

Цитирование данной статьи

Кропачева М.С. Формальная верификация параллельных программ // Исследования наукограда. 2012. № 2. С. 35-38.

Данная статья лицензирована по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.