Первое всероссийское соревнование по формальной верификации программ VeHa-23 прошло в рамках конференции PSSV-2023 3 и 4 ноября. Команда Механико-математического факультета Новосибирского Государственного университета завоевала третье место.
В числе организаторов и судей соревнования VeHa-2023 были преподаватели профиля «Формальные методы анализа программ и систем» ММФ НГУ Наталья Гаранина и Дмитрий Кондратьев.