Vérification de modèles

Intelligence artificielle

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 une propriété. 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

Anglais

Model checking

Sources

Source: wikipedia