Время проведения: с 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, в ходе которого можно будет познакомиться с инструментами формальной верификации и порешать интересные задачи

 Направления

Model checking 

Превращение программы на формальном языке в систему переходов и проверка ее свойств с использованием темпоральных формул

Дедуктивная верификация

Проверка правильности программы относительно ее формальной спецификации с помощью системы логических правил вывода

 

 

Цель мероприятия: ознакомиться с автоматизированными средствами формальной верификации и заданием формальных требований, порешать задачи, написав код на нестандартных языках

 

Примерный формат мероприятия 

1. Ознакомление с материалами на данном сайте

2. Ознакомление с открытыми лекциями во время мероприятия (онлайн и оффлайн)

3. Выбор задания по предложенному на данном сайте описанию

4. Общение с менторами (предложившими задание) - на месте или через Telegram 

5. Решение задачи самостоятельно/в группе (два неполных дня)

6. Представление результатов в конце мероприятия

7. Объявление победителей

8. В дальнейшей возможно написание с менторами научной статьи по проделанной работе