Kondratyev23dec24

Дмитрий Александрович Кондратьев (ИСИ СО РАН и Новосибирский государственный университет): Соревнование по формальной верификации программ VeHa-2024: два года большого пути Аннотация: В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 (https://sites.google.com/view/veha2024) в 2024 году. В данном докладе рассмотрены развитие и перспективы серии соревнований VeHa.