Верификация алгоритма нахождения консенсуса с использованием верификатора Spinдипломная работа (Магистр)