Dokaz korektnosti tehniko v kateri trditve koncu opisuje program vhodov, izhodov in vmesnih pogoji niz izreki je razvit v zvezi zadovoljstvo vhodni trditev zadovoljstvo izhod trditve in izrekov so dokazano ali zavržena using dokaz z indukcijo.