exploration de modèle

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

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

1. (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.

• France (Muntzenheim) : écouter « exploration de modèle [Prononciation ?] »
• Vosges (France) : écouter « exploration de modèle [Prononciation ?] »

• « exploration de modèle », FranceTerme, Délégation générale à la langue française et aux langues de France.