conformity to the truth or to fact
freedom from error
The state of an algorithm that correctly mirrors its specification.
conformity to recognized standards
The condition, fact, or quality of being self-evident.