Απόδειξη της ορθότητας τεχνική σε ισχυρισμούς που γράφονται που περιγράφει το πρόγραμμα εισροές, εκροές και ενδιάμεσες προϋποθέσεις, αναπτύσσεται ένα σύνολο των θεωρημάτων που αφορούν ικανοποίηση εισόδου διαβεβαιώσεις που να ικανοποιεί τους ισχυρισμούς της εξόδου και τα θεωρήματα είναι αποδεικνύεται ή αποδεικνύει με απόδειξη με επαγωγή.