英语 ⇄ 乌克兰语 俄语 +

algorithm validation
信息技术	перевірка правильності алгоритму; доведення правильності алгоритму
计算	перевірка доказ правильності алгоритму