Provably correct

Redirect to:

• Correctness (computer science)