La vérification de modèles (model-checking)