Akademik
algorithm validation
1)
Общая лексика:
доказательство правильности алгоритма
2)
Нефть:
проверка правильности алгоритма
Универсальный англо-русский словарь
.
Академик.ру
.
2011
.