model checking

== Anglais == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Locution nominale === model checking \Prononciation ?\ (Informatique) Exploration de modèle.