# Definition:Algorithm/Analysis/Correctness

This is correctness through verification of the algorithm accomplishing its purpose formally, and terminating in $k$ finite steps.