Победители 2-го Российского соревнование по формальной верификации программ VeHa-2024. Сидит тренер команды Н.В. Шилов. Стоят: Д.А. Кондратьев, Н.А. Панченко, А.М. Чумак, Т.В. Гунько.