Domaine INFORMATIQUE Définition Dispositif permettant l'exploration d'un modèle. Voir aussi exploration de modèle Équivalent étranger model-checker (en)