Embedded Files
III Контест VeHa
[Nline (Новосибирск) / Online]
Мероприятие организуется группой энтузиастов по формальным методам (ИСИ СО РАН, ИАиЭ СО РАН, НГУ, СпбПУ, АлтГТУ) в сотрудничестве с Astra group и Лабораторией Касперского
Соревнования по верификации моделей и дедуктивной верификации с тьюториалами в формате хакатона
Наши исследователи представят интересные задачи для решения пытливыми студентами/разработчиками. В решении пригодятся формальные методы, логика и формальные языки!
Телеграм-канал мероприятия: Contest VeHa
Соревнования предполагается провести в системе тестирования NSU-TS
Трёхдневное мероприятие в рамках XXVI Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина, в ходе которого можно будет познакомиться с инструментами формальной верификации и порешать интересные задачи
Трёхдневное мероприятие в рамках XXVI Открытой Всесибирской олимпиады по программированию им. И.В. Поттосина, в ходе которого можно будет познакомиться с инструментами формальной верификации и порешать интересные задачи
Направления
Дедуктивная верификация: Coq, C-lightVer, Isabelle/HOL
Дедуктивная верификация: Coq, C-lightVer, Isabelle/HOL
Проверка правильности программы относительно ее формальной спецификации с помощью системы логических правил вывода
Model checking (проверка моделей): SPIN, TLA+
Model checking (проверка моделей): SPIN, TLA+
Превращение программы на формальном языке в систему переходов и проверка ее свойств с использованием темпоральных формул
Цель мероприятия: ознакомиться с автоматизированными средствами формальной верификации и заданием формальных требований, порешать задачи, написав код на нестандартных языках
Цель мероприятия: ознакомиться с автоматизированными средствами формальной верификации и заданием формальных требований, порешать задачи, написав код на нестандартных языках
Примерный формат мероприятия
1. Ознакомление с материалами на данном сайте
1. Ознакомление с материалами на данном сайте
2. Ознакомление с открытыми лекциями во время мероприятия (онлайн и оффлайн)
2. Ознакомление с открытыми лекциями во время мероприятия (онлайн и оффлайн)
3. Выбор задания по предложенному на данном сайте описанию
3. Выбор задания по предложенному на данном сайте описанию
4. Общение с менторами (предложившими задание) - на месте или через Telegram
4. Общение с менторами (предложившими задание) - на месте или через Telegram
5. Решение задачи самостоятельно/в группе
5. Решение задачи самостоятельно/в группе
6. Представление результатов в конце мероприятия
6. Представление результатов в конце мероприятия
7. Объявление победителей
7. Объявление победителей
8. В дальнейшей возможно написание с менторами научной статьи по проделанной работе
8. В дальнейшей возможно написание с менторами научной статьи по проделанной работе
Page updated
Google Sites
Report abuse