Teisingumą technika, kurios teiginių įrodymu yra parašyta aprašoma programos indėlio, apimties ir tarpinių sąlygas, teoremos rinkinys sukurtas susijusių pasitenkinimą įvesties teiginių pasitenkinimą produkcijos teiginius ir į teoremos yra įrodyta ar paneigta naudojant įrodymas iš indukcija.