Мероприятие некоммерческое!
Соревнования по верификации моделей и дедуктивной верификации с тьюториалами
Наши исследователи представят интересные задачи для решения пытливыми студентами/разработчиками. В решении пригодятся формальные методы, логика и формальные языки.
Результаты
1 место — команда Vericheck
2 место — команда FIIT
3 место — команда NSU
Почётные грамоты
Команда AmNyam — за попытку решения задачи Pipeline GPU
Команда Team HYPE — за оригинальное решение задачи Луна-25 (model checking)
Команда Cache-Invalidation — за оригинальное решение задачи Луна-25 (дедуктивная верификация)
Артём Кокорин — за оригинальное решение задач контеста
Анастасия Красненкова — за волю к победе
Победители соревнования получают денежный приз
Направления