Důkaz správnosti techniku v které tvrzení jsou psány popis programu vstupů, výstupů a zprostředkující podmínky, sada věty je vyvíjen, týkající se spokojenosti vstupní tvrzení ke spokojenosti výstupu tvrzení, a věty jsou prokázané nebo vyvráceny pomocí důkaz o indukci.