Proof of correctness

Definition
Proof of correctness is

"[t]he use of mathematical logic to infer that a relation between program variables assumed true at the program entry implies that another relation between program variables holds at program exit."