La vérification de modèle (ou model checking), consiste vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.