Kondratyev23dec24 - видео

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