5-8 ноября 2025 года было проведено всероссийское соревнование по формальной верификации программ VeHa-2025. Соревнование было проведено в качестве спутника прошедшей в НГУ XXVI Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина. В число организаторов и судей соревнования VeHa-2025 входили сотрудники ИСИ СО РАН и НГУ Дмитрий Александрович Кондратьев, Наталья Олеговна Гаранина, Владимир Иванович Шелехов и Николай Вячеславович Шилов.
Победителями и призерами соревнования VeHa-2025 в различных номинациях стали команды из НГУ, Группы Астра, Лаборатории Касперского, ИСП РАН, МИАН, СПбПУ, МГТУ им. Н. Э. Баумана, Университета Неаполис Пафос, МФТИ, ИТМО, МИСИС и ИАиЭ СО РАН. Отметим, что из НГУ и научных институтов СО РАН победителями и призерами стали следующие участники VeHa-2025: Иван Михайлович Черненко, Артем Дмитриевич Ищенко, Максим Вячеславович Нейзов, Лев Константинович Бояндин, Александр Андреевич Харьков и Маргарита Андреевна Шабанова.