« Vérification de modèles » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Domaine== | ==Domaine== | ||
[[Category: | [[Category:Vocabulary2]] | ||
[[Category:Intelligence artificielle]] | [[Category:Intelligence artificielle]] | ||
Intelligence artificielle<br> | Intelligence artificielle<br> | ||
[[Category: | [[Category:Coulombe2]] | ||
[[Catégorie:Scotty2]] | |||
[[Catégorie: | [[Category:GRAND LEXIQUE FRANÇAIS]] | ||
[[ | |||
<br> | <br> | ||
| Ligne 13 : | Ligne 12 : | ||
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. | 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 | ==Français== | ||
'''vérification d'un modèle''' n.f. | '''vérification d'un modèle''' n.f. | ||
Version du 27 mai 2019 à 21:30
Domaine
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 n.f.
vérification de modèles n.f.
Anglais
Model checking
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
