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

Докладчики: Н.О. Гаранина, И.С. Ануреев, Д.А. Кондратьев. Тема доклада: Обзор международного четырнадцатого семинара "Семантика, спецификация и верификация программ: Теория и приложения" (PSSV-2023) и первого всероссийского соревнования по верификации моделей и дедуктивной верификации "VeHa-2023". Аннотация: В докладе мы представим общее впечатление о семинаре PSSV и более подробно разберём несколько докладов, а также поделимся приобретённым опытом проведения онлайн-соревнований по формальной верификации.