Vérification de modèles


De DataFranca

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

Source: wikipedia

Contributeurs : Claude Coulombe, Jacques Barolet, admin

Vous devez demander un compte pour contribuer à cette page.