Есть основа для магистерской работы

Мотивация

У DSX Technologies есть свой алгоритм голосования с применением Blockchain, запатентованный совместно с компанией Accenture.

Задача состоит в том, чтобы построить формальную модель алгоритма и выполнить его формальную верификацию/моделирование, например с использованием TLA+. Данный подход набирает популярность и используется в AWS для валидации архитектурных решений.

Этапы работы над проектом

Количество студентов в проект — 1 человек