Смотреть больше слов в «Англо-русском словаре по компьютерам»
Перевірка правильності алгоритмуперевірка (доведення) правильності алгоритму
проверка правильности алгоритма, доказательство правильности алгоритма см. тж. algorithm
перевірка правильності алгоритмуперевірка (доведення) правильності алгоритму
проверка правильности алгоритма
перевірка (доказ) правильності алгоритму