Методы проверки и верификации вычислений