Blog

Международный семинар по CPAchecker

Posted by: Alexander Kamkin 1 month ago

28-29 сентября 2020 года в онлайн-формате прошел международный семинар по инструменту CPAchecker. Цель семинара – обмен опытом между исследователями и практиками, работающими в области верификации индустриального ПО и заинтересованными в использовании открытого инструмента CPAchecker.

read more

Конференция «Иванниковские чтения»

Posted by: Alexander Kamkin 1 month ago

Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на Международной конференции «Иванниковские чтения», прошедшей 25-26 сентября 2020 года в Орле.

read more

Форум «АРМИЯ-2020»

Posted by: Alexander Kamkin 2 months ago

23-29 августа 2020 года в парке «Патриот» прошел Международный военно-технический форум «АРМИЯ-2020» — комплексное мероприятие, организованное Министерством обороны Российской Федерации в интересах обеспечения обороны и безопасности государства.

read more

Конференция SYRCoSE

Posted by: Alexander Kamkin 5 months ago

Результаты проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на 14-ой международной конференции Spring/Summer Young Researchers’ Colloquium (SYRCoSE), прошедшей в онлайн-формате 28-29 мая 2020 года.

read more

Круглый стол в Общественной палате РФ

Posted by: Alexander Kamkin 8 months, 4 weeks ago

4 февраля 2020 года в Общественной палате Российской Федерации прошел Круглый стол «Проблемы совершенствования эффективных механизмов национального регулирования систем управления безопасностью и качеством исходного кода программного обеспечения и пути их решения». Цель мероприятия — создание условий для формирования нормативно-правовой базы в области разработки и сопровождения безопасного ПО для органов государственного управления, государственных предприятий и объектов критической информационной инфраструктуры.

read more