Vérifier que l’algorithme ou le système prévu répond à certaines spécifications formelles en termes de capacités, de justesse et d’efficacité.