Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Моделирование и анализ информационных систем, 2012, том 19, номер 5, страницы 81–99 (Mi mais264)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

М. С. Кропачева, А. И. Легалов

Сибирский федеральный университет
PDF полного текста (722 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Работа посвящена доказательству корректности параллельных программ на основе аксиоматического подхода. Описана формальная система дляфункционально-потокового языка параллельного программирования Пифагор, в рамках которой можно проводить доказательства.
Ключевые слова: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ.
Поступила в редакцию: 23.08.2012
Тип публикации: Статья
УДК: 517.51+514.17
Образец цитирования: М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 19:5 (2012), 81–99
Цитирование в формате AMSBIB
\RBibitem{KroLeg12}
\by М.~С.~Кропачева, А.~И.~Легалов
\paper Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 5
\pages 81--99
\mathnet{http://mi.mathnet.ru/mais264}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais264
  • https://www.mathnet.ru/rus/mais/v19/i5/p81
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025