Une preuve de technique de justesse dans les affirmations sont écrits 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é avec preuve par induction.