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