Мероприятие организуется группой энтузиастов по формальным методам (ИСИ СО РАН, ИАиЭ СО РАН, НГУ, СпбПУ, АлтГТУ) в сотрудничестве с Astra group и Лабораторией Касперского
Соревнования по верификации моделей и дедуктивной верификации с тьюториалами в формате хакатона
Наши исследователи представят интересные задачи для решения пытливыми студентами/разработчиками. В решении пригодятся формальные методы, логика и формальные языки!
Телеграм-канал мероприятия: Contest VeHa
Соревнования предполагается провести в системе тестирования NSU-TS
Направления