Controllare le capacità, la correttezza e l’efficacia dell’algoritmo o del sistema previsto per soddisfare determinate specifiche formali.