correctness: meaning and definitions

freedom from error

conformity to the truth or to fact

conformity to recognized standards

The state of an algorithm that correctly mirrors its specification.