The final stage uses various formalisms to assess whether or not an error actually has occurred.
На заключительном этапе используются различные формализмы для оценки того, действительно ли произошла ошибка.