exploration de modèle
Français
Étymologie
- Locution composée de exploration et de modèle.
Locution nominale
| Singulier | Pluriel |
|---|---|
| exploration de modèle | explorations de modèle |
| \ɛk.splɔ.ʁa.sjɔ̃ də mɔ.dɛl\ | |
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
- Anglais : model checking (en)
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.
Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.