18-21 октября 2024 года было проведено Второе всероссийское соревнование по формальной верификации программ VeHa-2024. В число организаторов и судей соревнования VeHa-2024 входили сотрудники ИСИ СО РАН и НГУ Наталья Олеговна Гаранина и Дмитрий Александрович Кондратьев.
Соревнование проходило совместно с конференцией PSSV-2024. Победителями и призерами соревнования VeHa-2024 в различных номинациях стали студенты из НГУ, МФТИ, МГТУ им. Н.Э. Баумана, СПбПУ и ИТМО. Отметим, что из НГУ дипломом I степени награждены следующие студенты: Денис Владимирович Малиновский, Антон Максимович Чумак, Тимур Витальевич Гунько и Наталья Андреевна Панченко!