# exploration de modèle

## Français

### Étymologie

    Locution composée de exploration et de modèle.

### Locution nominale

exploration de modèle \ɛk.splɔ.ʁa.sjɔ̃ də mɔ.dɛl\ féminin

* (Informatique) Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n’est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.

**Traductions**

* Anglais : model checking (en)
