« Vérification de modèles » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| (Une version intermédiaire par un autre utilisateur non affichée) | |||
| Ligne 1 : | Ligne 1 : | ||
[[ | ==Définition== | ||
En algorithmique et [[intelligence artificielle symbolique]], la vérification de modèles consiste à vérifier si le modèle d'un système satisfait un ensemble de spécifications formelles. | |||
Par exemple, on souhaite vérifier qu'un programme ne bloque pas, qu'une variable n'est jamais nulle, etc. Techniquement, la vérification de modèles s'apparente à la vérification de code. | |||
Pour la vérification de [[modèle d'apprentissage]] voir [[explorateur de modèle]]. | Pour la vérification de [[modèle d'apprentissage]] voir [[explorateur de modèle]]. | ||
| Ligne 15 : | Ligne 12 : | ||
'''vérification d'un modèle''' | '''vérification d'un modèle''' | ||
'''vérification de modèles | '''vérification de modèles''' | ||
'''exploration de modèle''' | |||
==Anglais== | ==Anglais== | ||
| Ligne 24 : | Ligne 23 : | ||
[https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les Source: wikipedia] | [https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les Source: wikipedia] | ||
[[ | [https://www.culture.gouv.fr/content/download/365680/pdf_file/50_termes_cl%C3%A9s_de_l%27IA-2025.pdf?inLanguage=fre-FR&version=2 ''50 termes clés de l'intelligence artificielle'', Ministère de la culture, Commission d'enrichissement de la langue française (2025). - exploration de modèle] | ||
[[Category:Intelligence artificielle]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 5 février 2025 à 11:39
Définition
En algorithmique et intelligence artificielle symbolique, la vérification de modèles consiste à vérifier si le modèle d'un système satisfait un ensemble de spécifications formelles.
Par exemple, on souhaite vérifier qu'un programme ne bloque pas, qu'une variable n'est jamais nulle, etc. Techniquement, la vérification de modèles s'apparente à la vérification de code.
Pour la vérification de modèle d'apprentissage voir explorateur de modèle.
Complément
Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification de modèles est généralement faite de manière automatique.
Français
vérification d'un modèle
vérification de modèles
exploration de modèle
Anglais
Model checking
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
