Proof of correctness

Redirect to:

• Correctness (computer science)