« Vérification de modèles » : différence entre les versions

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

Source: wikipedia

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

@@ 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.
-[[Category:Intelligence artificielle]]
+Pour la vérification de [[modèle d'apprentissage]] voir [[explorateur de modèle]].
-Intelligence artificielle
-[[Category:GRAND LEXIQUE FRANÇAIS]]
+==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.
-==Définition==
-En informatique, la vérification de modèles consiste à vérifier si le modèle d'un système satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
 ==Français==
 '''vérification d'un modèle'''
-'''vérification de modèles   '''
+'''vérification de modèles'''
+'''exploration de modèle'''
 ==Anglais==
@@ Ligne 21 : / Ligne 22 : @@
 [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]]

« Vérification de modèles » : différence entre les versions