Méthodes Algorithmiques
pour la Vérification