La gestione delle verifiche in ADA è estremamente accurata, l'autore ha a disposizione tre tipologie di attività:
La scelta di una delle tre tipologie dipende dalle esigenze del corso.