La langue française

Accueil > Dictionnaire > Définitions du mot « exploration de modèle »

Exploration de modèle

Définitions de « exploration de modèle »

Wiktionnaire

Locution nominale - français

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.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Étymologie de « exploration de modèle »

Locution composée de exploration et de modèle.
Wiktionnaire - licence Creative Commons attribution partage à l’identique 3.0

Phonétique du mot « exploration de modèle »

Mot Phonétique (Alphabet Phonétique International) Prononciation
exploration de modèle ɛksplɔrasjɔ̃ dœ mɔdɛl

Images d'illustration du mot « exploration de modèle »

⚠️ Ces images proviennent de Unsplash et n'illustrent pas toujours parfaitement le mot en question.

Exploration de modèle

Retour au sommaire ➦

Partager