верификация алгоритмов управления