Этап 4

В ходе выполнения проекта по Соглашению о предоставлении субсидии от 27.06.2014 №14.604.21.0051 с Минобрнауки России в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» на этапе №4 в период с 01.01.2016 по 30.06.2016 выполнялись следующие работы:

  1. Разработка экспериментального образца системы дедуктивной верификации компонентов операционных систем.
  2. Разработка Программы и методик экспериментальных исследований экспериментального образца системы дедуктивной верификации компонентов операционных систем.
  3. Участие в мероприятиях, направленных на освещение и популяризацию промежуточных и окончательных результатов ПНИ.
  4. Разработка и публикация материалов о возможностях экспериментального образца на веб-сайте, предназначенном для популяризации результатов ПНИ.
  5. Разработка тестовых модулей, верификация которых требует учёта работы с разделяемыми данными, с целью обеспечения экспериментальных исследований реалистичными тестовыми программами.
  6. Подготовка и подача заявок на регистрацию результатов интеллектуальной деятельности.