Корректность
Свойство алгоритма, обозначающее, что для допустимых исходных данных алгоритм должен приводить к правильному результату.
военно-морской деятель