Freedom from error
Conformity to the truth or to fact
Conformity to recognized standards
The state of an algorithm that correctly mirrors its specification.