Англійська ⇄ Російська Українська +

algorithm validation
комп.	перевірка доказ правильності алгоритму
IT	перевірка правильності алгоритму; доведення правильності алгоритму