model-checker

== Anglais == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Nom commun === model-checker \Prononciation ?\ (Informatique) Explorateur de modèle.