Моделирование и верификация распределенных алгоритмов, Promela

Необходимо смоделировать и верифицировать алгоритм (потенциальному заказчику скину в лс) на Promela. Оформить небольшой отчет со стандартной структурой, а также в сформировать документ с пояснениями кода (со скринами и тд) в свободной форме, чтобы можно было разобраться быстрее.

Если курсовая получится хорошей - разблокирую сразу же в пятницу вечером.

Все остальное в лс, если разбираетесь в теме курсовой