Een bewijs van de juistheid techniek in welke beweringen zijn geschreven met een beschrijving van programma ingangen, uitgangen en tussenliggende voorwaarden, een aantal stellingen is ontwikkeld met betrekking ten genoegen van de input beweringen tot tevredenheid van de uitvoer beweringen, en de stellingen zijn bewezen of weerlegd met behulp van bewijs per inductie.