Dôkaz správnosti techniky v ktorých tvrdenia sú v písomnej forme opisujú program vstupov, výstupov a prechodných podmienok, sada vety je vyvinutý, týkajúcich sa spokojnosti vstupné tvrdení k spokojnosti výstup tvrdení a vety sú dokázané alebo vyvrátená dôkazom pomocou indukcie.