Контест VeHa 2023 — первый российский студенческий онлайн соревнование по верификации моделей и дедуктивной верификации программ https://sites.google.com/view/veha23/
- Репозиторий содержит две модели написанные на языке Promela:
- Одна модель содержит ошибку и не может пройти верификацию,к модели приложен trail ошибочного случая.
- Вторая модель содержит исправления и может быть полностью верифицированна.
- Также присутсвует презентация командного решения на основе проведенного иследования по поиску возможных причин поломки космических аппаратов и представленные изменения в модели которые позволили ей проходить верификаицю.
Команда награждена почетной грамотой за представленное оригинальное решение задачи по верификации модели написанное на языке Promela
