Если у вас возникли вопросы, или появилось предложение, напишите нам

Верификация программного обеспечения (от 08.10.2025)

Видеозапись вебинара

На вебинаре рассмотрены следующие темы:

  1. Актуальность задачи верификации программ, примеры программ и криптографических протоколов с уязвимостями.
  2. Примеры решения задачи верификации программ.
  3. Прикладные инструменты верификации программ.

Докладчик: Миронов Андрей Михайлович, доцент кафедры математической теории интеллектуальных систем отделения математики механико-математического факультета МГУ им. М. В. Ломоносова.

Презентация к вебинару PDF.


Кнопка связи