CS4010 - Vérification et validation