exploration de modèle - model-checking

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.

(Source : JORF n°0001 du 1 janvier 2013 - NOR: CTNX1242099K - Vocabulaire de l'informatique et de l’internet (liste de termes, expressions et définitions adoptés)

Voir également

programme

toile d’araignée mondiale

informatique

TIC Technologies de l'information et des communications