Päritolutõendi õigsuse tehnika mis väiteid kirjutada mis kirjeldab programmi sisendite, väljundite ja vahe tingimused, teoreemide komplekt on välja töötatud seoses rahulolu rahuldaval viisil kinnitusi toodangu sisend kinnitusi ja teoreemide on osutunud või ümber induktsiooni tõendi abil.