Todistus oikeellisuudesta tekniikka joka väittää kirjoitetaan kuvataan ohjelman panosten, tuotoksen ja keskitason ehtoja, joukko lauseet on kehitetty koskevat tyytyväisyys tulo väitteitä tyytyväisiä lähtö väittämiä ja lauseet ovat osoittautuneet tai vääräksi, käyttämällä näyttöä induktio.