Методологический семинар ИСИ СО РАН. Заседание от 14 января 2025 года

Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ СО РАН Тема доклада: «Соревнование по формальной верификации программ VeHa-2024: два года большого пути» Аннотация: В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.