Codis i verificació
Dissenyem i posem a prova un verificador
La unitat desenvolupa el procés complet d’un verificador: especificar, implementar, provar, corregir i comparar. El producte final ha de ser explicable, incloure proves positives i negatives i reconèixer almenys una limitació demostrada.