Доведення коректності техніку, у яких тверджень написані з описом програми входів, виходи і проміжних умови, набір теореми розроблено щодо задоволення вводу тверджень для задоволення виводу тверджень і доводяться теореми доведено або спростовано, використовуючи доказ методом математичної індукції.