Участие в ФЦП

Проект «Разработка методов и инструментов для дедуктивной верификации модулей ядра операционной системы Linux» участвует в федеральной целевой программе «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» (уникальный идентификатор проекта RFMEFI60414X0051). Ниже приведена более подробная информация об этапах проекта.

Этап 1

Выбор направления исследования, теоретические исследования поставленных перед ПНИ задач

Этап 2

Теоретические исследования, разработка методов генерации моделей памяти

Этап 3

Разработка метода дедуктивной верификации компонентов операционных систем

Этап 4

Разработка экспериментального образца

Этап 5

Экспериментальные исследования, обобщение и оценка результатов