Structures de données et algorithmes pour la vérification formelle

Les BDDs (Binary Decision Diagrams) et leurs applications