Une preuve de technique de rectitude dans quelles affirmations sont rédigés en décrivant les intrants, extrants et conditions intermédiaires, un ensemble de théorèmes est mis au point concernant la satisfaction des affirmations d'entrée à la satisfaction des assertions de sortie et les théorèmes sont prouvés ou réfuté à l'aide de la preuve par induction.