model checking en français
exploration de modèle
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.
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é.
En anglais : model checking.
Voir aussi : explorateur de modèle
Journal officiel du 1er janvier 2013
D'après FranceTerme, la base des termes publiés au Journal officiel par la Commission d'enrichissement de la langue française (ministère de la Culture, licence ouverte). Ces termes s'imposent aux administrations de l'État ; pour les autres, ils sont une recommandation.