Программа генерации формальной автоматной модели на основе формализованной модели требований на языке Reka
ВЕРИФИКАЦИЯ
Программа генерации формальной автоматной модели получает на вход формализованную модель на языке моделирования Reka и формирует формальную автоматную модель, которая подлежит верификации при помощи средств автоматической и интерактивной верификации. Для этого дополнительно применяются драйвера, которые выполняют трансляцию автоматной модели в соответствующий входной язык целевого средства верификации.
Верификация формальных моделей применяемых при разработке ответственных систем.
Александр
Петренко
Константинович
заведующий отделом
Доктор физико-математических наук
Профессор
D-8658-2014
8960673500
2635-5573
0000-0001-7411-3831
РОССИЯ
Арутюн
Аветисян
Ишханович
директор
РОССИЯ
50.05.17
Теоретические основы системного программного обеспечения
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Алексей
Хорошилов
Владимирович
Проектирование, разработка и реализация алгоритмов
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИСП РАН
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
1037700067327
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения