algorithm validation

Перевірка правильності алгоритму

перевірка (доведення) правильності алгоритму

Джерело: Англо-український словник технічних термінів на Slovnyk.me