Vérification automatisée