Accueil > Dictionnaire > Définitions du mot « exploration de modèle »
Exploration de modèle
Sommaire
| Variantes | Singulier | Pluriel |
|---|---|---|
| Féminin | exploration de modèle | explorations 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
- (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 Terme
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.
Notes : L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.
Étymologie de « exploration de modèle »
- Locution composée de exploration et de modèle.
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 |
Combien de points fait le mot exploration de modèle au Scrabble ?
Nombre de points du mot exploration de modèle au scrabble : 31 points