28-29 сентября 2020 года в онлайн-формате прошел международный семинар по инструменту CPAchecker. Цель семинара – обмен опытом между исследователями и практиками, работающими в области верификации индустриального ПО и заинтересованными в использовании открытого инструмента CPAchecker.
Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на Международной конференции «Иванниковские чтения», прошедшей 25-26 сентября 2020 года в Орле.
23-29 августа 2020 года в парке «Патриот» прошел Международный военно-технический форум «АРМИЯ-2020» — комплексное мероприятие, организованное Министерством обороны Российской Федерации в интересах обеспечения обороны и безопасности государства.
Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на 14-ой международной конференции Spring/Summer Young Researchers’ Colloquium (SYRCoSE), прошедшей в онлайн-формате 28-29 мая 2020 года.
4 февраля 2020 года в Общественной палате Российской Федерации прошел Круглый стол «Проблемы совершенствования эффективных механизмов национального регулирования систем управления безопасностью и качеством исходного кода программного обеспечения и пути их решения». Цель мероприятия — создание условий для формирования нормативно-правовой базы в области разработки и сопровождения безопасного ПО для органов государственного управления, государственных предприятий и объектов критической информационной инфраструктуры.