Формальная верификация параллельных программ
Автор: Кропачева Мария Сергеевна
Журнал: Космические аппараты и технологии.
Рубрика: Информационные технологии
Статья в выпуске: 2 (2), 2012 года.
Бесплатный доступ
Рассматривается формальная верификация функционально-потоковых параллельных программ. Ошибки, характерные для императивных параллельных программ, отсутствуют в функционально-потоковых параллельных программах, что позволяет упростить верификацию. Анализируется корректность примера программы на языке Пифагор.
Функционально-потоковое параллельное программирование, формальная верификация, язык программирования пифагор
Короткий адрес: https://sciup.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.
Статья научная
