صحت (علوم رایانه)

Also known as correctness (computer science)

quality of an algorithm being correct with respect to a specification