Совокупность действий, результатом которых является подтверждение соответствия компьютерной реализации модели исходной математической или информационной модели [из 3.1.9 ГОСТ Р 57412–2017]