correctness

RU: корректность

A property of an algorithm or program that guarantees it produces the right output for every valid input. Partial correctness means it produces the right output if it terminates; total correctness additionally requires termination.