Формальная_верификация loading ...