Angielski ⇄ Rosyjski Ukraiński +

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