Перевод названия: Formal Verification of Programs in Functional Dataflow Parallel Language
Тип публикации: статья из журнала
Год издания: 2012
Ключевые слова: functional data-flow parallel programming, Pifagor programming language, programs formal verification, функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ
Аннотация: Работа посвящена доказательству корректности параллельных программ на основе аксиоматического подхода. Описана формальная система для функционально-потокового языка параллельного программирования Пифагор, в рамках которой можно проводить доказательства. The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs correctness could be proved.
Издание
Журнал: Моделирование и анализ информационных систем
Выпуск журнала: Т. 19, № 5
Номера страниц: 81-99
ISSN журнала: 18181015
Место издания: Ярославль
Издатель: федеральное государственное бюджетное образовательное учреждение высшего образования "Ярославский государственный университет им. П.Г. Демидова"
Персоны
- Кропачева Мария Сергеевна (Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет»)
- Легалов Александр Иванович (Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет»)
Вхождение в базы данных
- Ядро РИНЦ (eLIBRARY.RU)
- Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.