« 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) |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | ==Domaine== | ||
[[Category:Vocabulary]]<br> | [[Category:Vocabulary]] | ||
[[Category:Intelligence artificielle]]Intelligence artificielle<br> | <br> | ||
[[Category:Coulombe]]Coulombe<br> | [[Category:Intelligence artificielle]] | ||
[[Catégorie:Scotty]]<br> | Intelligence artificielle<br> | ||
[[Category:Coulombe]] | |||
Coulombe<br> | |||
[[Catégorie:Scotty]] | |||
[[Catégorie:9]] | |||
<br> | |||
== Définition == | ==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. | 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 >>>>>>>>>>>>>>redirection== | ||
'''vérification d'un modèle''' | '''vérification d'un modèle''' n.f. | ||
'''vérification de modèles ''' | '''vérification de modèles '''n.f. | ||
== Anglais == | ==Anglais== | ||
'''Model checking ''' | '''Model checking ''' | ||
[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] | ||
Version du 27 mai 2019 à 19:17
Domaine
Intelligence artificielle
Coulombe
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 >>>>>>>>>>>>>>redirection
vérification d'un modèle n.f.
vérification de modèles n.f.
Anglais
Model checking
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
