Definition:Algorithm/Analysis/Correctness

From ProofWiki
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.