name: МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ
keyword_list: инструментальное средство для поддержки формальной верификации удаление взаимной рекурсии корректность рекурсивных функций спецификация программ язык программирования Пифагор функционально-потоковое параллельное программирование формальная верификация
abstract: Работа посвящена повышению надёжности и корректности функционально-потоковых параллельных (ФПП) программ посредством разработки методов формальной верификации.
  Тема актуальна ввиду повсеместного использования параллельных программ. Функционально потоковая парадигма параллельного программирования позволяет упростить процесс формальной верификации, однако на данный момент данная задача практически не решалась.
  Объектом исследования является функционально-потоковая модель параллельных вычислений и язык ФПП программирования Пифагор.
  В работе использовались методы математической логики, элементы теории множеств, графов, рекурсивных функций, алгоритмов, формальных грамматик.
  В результате для ФПП программ на языке Пифагор разработан метод верификации, основанный на исчислении Хоара, метод доказательства завершения программ и метод удаления взаимной рекурсии нескольких функций.
  Разработана архитектура и реализован прототип инструментального средства для поддержки верификации ФПП программ.
  Полученные результаты имеют значение для развития теоретических основ программирования.
chairman_dissertation_council.name: Юрий
chairman_dissertation_council.surname: Безбородов
chairman_dissertation_council.patronymic: Николаевич
chairman_dissertation_council.position: заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: -
chairman_dissertation_council.scopus_author_id: 6603491004
chairman_dissertation_council.rinc_id: 271274
chairman_dissertation_council.url: https://structure.sfu-kras.ru/bezborodov
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Галина
organization_supervisor.surname: Баранова
organization_supervisor.patronymic: Павловна
organization_supervisor.position: Начальник отдела диссертационных советов и докторантуры
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.41.01
rubrics.name: Общие вопросы
rubrics.code: 50.05.13
rubrics.name: Технология программирования. Автоматизация программирования.
oecds.code: 01.02.EX
oecds.name: COMPUTER SCIENCE, THEORY & METHODS
speciality_codes.name: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
speciality_codes.code: 2.3.5.
supervisors.fio: Легалов А.И.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
supervisors.responsible_type: Научный руководитель
opponents.fio: Водяхо А.И.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Вычислительные машины, комплексы и компьютерные сети
opponents.responsible_type: Оппонент
opponents.fio: Феоктистов А.Г.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
protection_organization.short_name: ФГАОУ ВО "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ",СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ,СФУ
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
protection_organization.ogrn: 1022402137460
protection_organization.supervisor_name: МАКСИМ
protection_organization.supervisor_surname: РУМЯНЦЕВ
protection_organization.supervisor_patronymic: ВАЛЕРЬЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: ФГАОУ ВО "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ",СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ,СФУ
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
author_organization.ogrn: 1022402137460
author_organization.supervisor_name: МАКСИМ
author_organization.supervisor_surname: РУМЯНЦЕВ
author_organization.supervisor_patronymic: ВАЛЕРЬЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения