"programverifikasjon" er et 19-bokstavers substantiv som brukes som synonym for "programuttesting". programuttesting betyr: Bekreftelse på at programvaren er riktig utviklet.