Verifisering er å kontrollere at et resultat oppfyller bestemte krav. Tester undersøker utvalgte tilfeller. Et formelt bevis kan vise at en presist uttrykt påstand følger av oppgitte forutsetninger, og kontrolleres av et bevisverktøy. Vi må fortsatt vurdere om påstanden, forutsetningene og datagrunnlaget passer den virkelige oppgaven.