Procédures de vérification sont classés comme des tests de validation ou de tests de contrôles. Si une procédure prévoit deux types de preuves, que c'est une épreuve à double usage.