VeHaContest2023

Контест VeHa 2023 — первый российский студенческий онлайн соревнование по верификации моделей и дедуктивной верификации программ https://sites.google.com/view/veha23/

О репозитории

• Репозиторий содержит две модели написанные на языке Promela:
  • Одна модель содержит ошибку и не может пройти верификацию,к модели приложен trail ошибочного случая.
  • Вторая модель содержит исправления и может быть полностью верифицированна.
• Также присутсвует презентация командного решения на основе проведенного иследования по поиску возможных причин поломки космических аппаратов и представленные изменения в модели которые позволили ей проходить верификаицю.

Результаты участия:

Команда награждена почетной грамотой за представленное оригинальное решение задачи по верификации модели написанное на языке Promela