Время проведения: с 02.11.2023 по 05.11.2023
Контест VeHa
[Inline (Иннополис) c 03.11 по 04.11 / Online]
Мероприятие некоммерческое!
Соревнования по верификации моделей и дедуктивной верификации с тьюториалами
Наши исследователи представят интересные задачи для решения пытливыми студентами/разработчиками. В решении пригодятся формальные методы, логика и формальные языки.
Результаты
1 место — команда Vericheck
2 место — команда FIIT
3 место — команда NSU
Почётные грамоты
Команда AmNyam — за попытку решения задачи Pipeline GPU
Команда Team HYPE — за оригинальное решение задачи Луна-25 (model checking)
Команда Cache-Invalidation — за оригинальное решение задачи Луна-25 (дедуктивная верификация)
Артём Кокорин — за оригинальное решение задач контеста
Анастасия Красненкова — за волю к победе
Победители соревнования получают денежный приз
Трёхдневное мероприятие в рамках международного семинара PSSV, в ходе которого можно будет познакомиться с инструментами формальной верификации и порешать интересные задачи
Трёхдневное мероприятие в рамках международного семинара PSSV, в ходе которого можно будет познакомиться с инструментами формальной верификации и порешать интересные задачи
Направления
Model checking
Model checking
Превращение программы на формальном языке в систему переходов и проверка ее свойств с использованием темпоральных формул
Дедуктивная верификация
Дедуктивная верификация
Проверка правильности программы относительно ее формальной спецификации с помощью системы логических правил вывода
Цель мероприятия: ознакомиться с автоматизированными средствами формальной верификации и заданием формальных требований, порешать задачи, написав код на нестандартных языках
Цель мероприятия: ознакомиться с автоматизированными средствами формальной верификации и заданием формальных требований, порешать задачи, написав код на нестандартных языках
Примерный формат мероприятия
1. Ознакомление с материалами на данном сайте
1. Ознакомление с материалами на данном сайте
2. Ознакомление с открытыми лекциями во время мероприятия (онлайн и оффлайн)
2. Ознакомление с открытыми лекциями во время мероприятия (онлайн и оффлайн)
3. Выбор задания по предложенному на данном сайте описанию
3. Выбор задания по предложенному на данном сайте описанию
4. Общение с менторами (предложившими задание) - на месте или через Telegram
4. Общение с менторами (предложившими задание) - на месте или через Telegram
5. Решение задачи самостоятельно/в группе (два неполных дня)
5. Решение задачи самостоятельно/в группе (два неполных дня)
6. Представление результатов в конце мероприятия
6. Представление результатов в конце мероприятия
7. Объявление победителей
7. Объявление победителей
8. В дальнейшей возможно написание с менторами научной статьи по проделанной работе
8. В дальнейшей возможно написание с менторами научной статьи по проделанной работе