Расписание
Тьюториалы проводятся онлайн 2 ноября
Трансляция будет проводиться в Skype по ссылке, там же будет доступна запись в течение 30 дней
10:50 / 6:50 — Язык Promela верификатора SPIN
12:40 / 8:40 — Дедуктивная верификация и инструмент C-LightVer
24:00 / 20:00 — Практические аспекты верификатора SPIN - В скайп и Иннополисе очно (аудитория 111)
Время здесь и ниже указано Нск/Мск
3-4 ноября будет само мероприятие по решению задач
В соревнование входит решение задачи по дедуктивной верификации и одной из задач по model checking
Все задачи будут опубликованы на сайте соревнования 3 ноября в 10:00/6:00
Возможны консультации по формулировкам задач и другим вопросам в чате телеграм Contest VeHa-23
Решения загружаются на GitHub не позднее 02:00(5.11)/22:00(4.11) 10:00/6:00 5 ноября
В командах может быть от 1 до 3 участников
Желательно заранее установить ПО для верификации см. Материалы
Решения оцениваются по 10-ти балльной шкале
Оценивание и подведение итогов 5 ноября
Объявление победителей на сайте 6 ноября