Автоматизация проверки решения задачи по формальному описанию ее условия