Definition:Algorithm/Analysis/Correctness
Jump to navigation
Jump to search
Definition
The primary method of validity for algorithms is using a Proof of Correctness.
This is correctness through verification of the algorithm accomplishing its purpose formally, and terminating in $k$ finite steps.