See exploration de modèle on Wiktionary
{
"categories": [
{
"kind": "other",
"name": "Compositions en français",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Locutions nominales en français",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Néologismes recommandés en français",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Traductions en anglais",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Français",
"orig": "français",
"parents": [],
"source": "w"
}
],
"etymology_texts": [
"Locutioncomposée de exploration et de modèle."
],
"forms": [
{
"form": "explorations de modèle",
"tags": [
"plural"
]
}
],
"lang": "Français",
"lang_code": "fr",
"pos": "noun",
"pos_title": "Locution nominale",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "Lexique en français de l’informatique",
"parents": [],
"source": "w"
}
],
"glosses": [
"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."
],
"id": "fr-exploration_de_modèle-fr-noun-vQ4ZAeIQ",
"topics": [
"computing"
]
}
],
"sounds": [
{
"ipa": "\\ɛk.splɔ.ʁa.sjɔ̃ də mɔ.dɛl\\"
},
{
"audio": "LL-Q150 (fra)-0x010C-exploration de modèle.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/72/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/72/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav.ogg",
"raw_tags": [
"France (Muntzenheim)"
],
"wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-0x010C-exploration de modèle.wav"
},
{
"audio": "LL-Q150 (fra)-LoquaxFR-exploration de modèle.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/af/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/af/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav.ogg",
"raw_tags": [
"Vosges (France)"
],
"wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-exploration de modèle.wav"
}
],
"tags": [
"feminine"
],
"translations": [
{
"lang": "Anglais",
"lang_code": "en",
"word": "model checking"
}
],
"word": "exploration de modèle"
}
{
"categories": [
"Compositions en français",
"Locutions nominales en français",
"Néologismes recommandés en français",
"Traductions en anglais",
"français"
],
"etymology_texts": [
"Locutioncomposée de exploration et de modèle."
],
"forms": [
{
"form": "explorations de modèle",
"tags": [
"plural"
]
}
],
"lang": "Français",
"lang_code": "fr",
"pos": "noun",
"pos_title": "Locution nominale",
"senses": [
{
"categories": [
"Lexique en français de l’informatique"
],
"glosses": [
"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."
],
"topics": [
"computing"
]
}
],
"sounds": [
{
"ipa": "\\ɛk.splɔ.ʁa.sjɔ̃ də mɔ.dɛl\\"
},
{
"audio": "LL-Q150 (fra)-0x010C-exploration de modèle.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/72/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/7/72/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav/LL-Q150_(fra)-0x010C-exploration_de_modèle.wav.ogg",
"raw_tags": [
"France (Muntzenheim)"
],
"wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-0x010C-exploration de modèle.wav"
},
{
"audio": "LL-Q150 (fra)-LoquaxFR-exploration de modèle.wav",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/af/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/af/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav/LL-Q150_(fra)-LoquaxFR-exploration_de_modèle.wav.ogg",
"raw_tags": [
"Vosges (France)"
],
"wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-exploration de modèle.wav"
}
],
"tags": [
"feminine"
],
"translations": [
{
"lang": "Anglais",
"lang_code": "en",
"word": "model checking"
}
],
"word": "exploration de modèle"
}
Download raw JSONL data for exploration de modèle meaning in All languages combined (2.1kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-01-30 from the frwiktionary dump dated 2025-01-20 using wiktextract (bcd5c38 and 9dbd323). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.