EXPLORATEUR DE MODÈLE, n. m.

Domaine : informatique.

Définition : dispositif permettant l'exploration de modèle (voir ce terme).

Anglais : model-checker.

Source : liste officielle publiée au J.O. du 1er janvier 2013.