| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии
теории и экспериментальному программированию
|
|||
|
|
|||
|
Соревнование по формальной верификации программ 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 |
|||