Mentions légales : 

Le fichier FranceTerme est une information publique administrative au sens de l'article 10 de la loi n° 78-753 du 17 juillet 1978. Vous pouvez réutiliser le fichier FranceTerme sous les termes de la licence ouverte data.gouv.fr (https://www.etalab.gouv.fr/wp-content/uploads/2014/05/Licence_Ouverte.pdf). 

Journal officiel du 01/01/2013
exploration de modèle
Domaine : INFORMATIQUE
Définition : Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n'est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.
Note : L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.
Voir aussi : explorateur de modèle
Équivalent étranger : model checking