Correctness
Computer science
>
&tbnh=205&tbnw=246&usg=AI4_-kTYFqmZ5sUSLhx7uOrxQeFgQsU7Rg&vet=1&docid=hlk_WkvF1mMlpM&itg=1&sa=X&ved=2ahUKEwjd2ZW9gt2FAxV5jYkEHWkgB1UQ9QF6BAgAEAQ)
&tbnh=85&tbnw=150&usg=AI4_-kRRMOzXr20e2q-lag6w7nwI-P-ewA&vet=1&docid=T2gqZ2X8_uT_FM&sa=X&ved=2ahUKEwjd2ZW9gt2FAxV5jYkEHWkgB1UQ9QF6BAgAEAY)
&tbnh=84&tbnw=150&usg=AI4_-kQGE6xL8cXGuKORpu-_KETN7UCfvg&vet=1&docid=peOXfo0wHKWiCM&sa=X&ved=2ahUKEwjd2ZW9gt2FAxV5jYkEHWkgB1UQ9QF6BAgAEAg)
&tbnh=84&tbnw=150&usg=AI4_-kTsyZo0BdWm2ex4HufpHwh4rlrp4A&vet=1&docid=KYfItQlZFIT97M&sa=X&ved=2ahUKEwjd2ZW9gt2FAxV5jYkEHWkgB1UQ9QF6BAgAEAo)
In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Best explored is functional correctness, which refers to the input-output behavior of the algorithm. Wikipedia