# explorateur de modèle

## Français

### Étymologie

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

### Locution nominale

explorateur de modèle \ɛk.splɔ.ʁa.tœʁ də mɔ.dɛl\ masculin

* (Informatique) Dispositif permettant l’exploration d’un modèle.

**Traductions**

* Anglais : model-checker (en)
