correctness

quality of an algorithm being correct with respect to a specification