Explorateur de modèle

Définition

Dispositif permettant l’exploration d’un modèle.

Français

explorateur de modèle

Anglais

model-checker

model checker

Sources

50 termes clés de l'intelligence artificielle, Ministère de la culture, Commission d'enrichissement de la langue française (2025). - Explorateur de modèle]