Процесс определения соответствия ПО КМ (компьютерной модели, программы) математической модели. Верификация обеспечивает обоснование того, что ПО КМ при определенных параметрах рассчитывает математическую модель правильно и с соответствующей точностью [из 3.1.3 ГОСТ Р 57700.2–2017]