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

Автор: Кропачева Мария Сергеевна

Журнал: Космические аппараты и технологии.

Рубрика: Информационные технологии

Статья в выпуске: 2 (2), 2012 года.

Бесплатный доступ

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

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

Короткий адрес: https://readera.org/14117276

IDR: 14117276

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

  • Непомнящий В. А., Рякин О. М. Прикладные методы верификации программ. - М.: Радио и связь, 1988. - 255 с.
  • Кларк М., Грамбер, О., Пелед Д. Верификация моделей программ: Model Checking / под ред. Р. Смелянского. - М.: МЦНМО, 2002. - 416 с.
  • Hoare C. A. Retrospective: An axiomatic basis for computer programming // Communications of the ACM. - 1969. - Vol. 10. - № 12. - P. 576-585.
  • 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.
  • Легалов А. И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. - 2005. - № 1 (10). - С. 71-89.
Статья научная