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

Перевод названия: Formal Verification of Programs in Functional Dataflow Parallel Language

Тип публикации: статья из журнала

Год издания: 2012

Ключевые слова: functional data-flow parallel programming, Pifagor programming language, programs formal verification, функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ

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

Ссылки на полный текст

Издание

Журнал: Моделирование и анализ информационных систем

Выпуск журнала: Т.19, 5

Номера страниц: 81-99

ISSN журнала: 18181015

Место издания: Ярославль

Издатель: федеральное государственное бюджетное образовательное учреждение высшего образования "Ярославский государственный университет им. П.Г. Демидова"

Авторы

  • Кропачева Мария Сергеевна (Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет»)
  • Легалов Александр Иванович (Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет»)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.