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 ==== === Prononciation === France (Muntzenheim) : écouter « exploration de modèle [Prononciation ?] » Vosges (France) : écouter « exploration de modèle [Prononciation ?] » === Références === « exploration de modèle », FranceTerme, Délégation générale à la langue française et aux langues de France.