Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары


Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
23 декабря 2024 г. 08:40–10:15, г. Новосибирск, Компьютерный класс 305 Главного (Старого) Корпуса Новосибирского Государственного Университета и онлайн в Skype (https://join.skype.com/IWWUHjUgNnfo) 		 

Соревнование по формальной верификации программ VeHa-2024: два года большого пути

Д. А. Кондратьев

Новосибирский национальный исследовательский государственный университет



Аннотация: В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 (https://sites.google.com/view/veha2024) в 2024 году. В данном докладе рассмотрены развитие и перспективы серии соревнований VeHa.
Рабочая (необработанная) запись на RuTube-канале (https://rutube.ru/video/6dbf9ea2cea695ec148caa23340c2bdb/) ИСИ СО РАН. Есть презентация доклада (hhttps://persons.iis.nsk.su/files/persons/pages/kondratyev23dec24.pdf).

Website: https://persons.iis.nsk.su/en/STEP-2024
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025