« Vérification de modèles » : différence entre les versions
m (Pitpitt a déplacé la page Model checking vers Vérification de modèles) |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (14 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
[[Category:Intelligence artificielle]] | |||
Intelligence artificielle | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
== | ==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 ''' | |||
==Anglais== | |||
'''Model checking ''' | '''Model checking ''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les | [https://fr.wikipedia.org/wiki/V%C3%A9rification_de_mod%C3%A8les Source: wikipedia] | ||
Dernière version du 28 janvier 2024 à 14:59
Intelligence artificielle
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
Anglais
Model checking
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
