program (Programudvikling)
programmet virker og tilfredsstiller kravspecifikationen. Selvom der er gjort store fremskridt i retning af at kunne bevise programmer, er det normalt nødvendigt at foretage kørsler med programmet med omhyggeligt valgte testdata i verifikationsfasen. Når programmet er verificeret, frigives det til