В рамках первого этапа проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» написан и опубликован «Аналитический обзор современной научно-технической, нормативной, методической литературы, затрагивающей исследуемую научно-техническую проблему».
Результаты первого этапа проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на Открытой конференции ИСП РАН им. В.П. Иванникова, прошедшей в Москве 5-6 декабря 2019 года.
Начат проект «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации», проводимый ИСП РАН в партнерстве с АО «НПО РусБИТех» и ФГУП «ГосНИИАС» при поддержке Министерства науки и высшего образования РФ (уникальный идентификатор проекта: RFMEFI60719X0295).