Flux RSS - La vie du site - Nouveautés et mises à jour
Assiste.com - Sécurité informatique - Décontamination - Antivirus - Protection - Protection de la Vie Privée Assiste.com - Sécurité informatique préventive - Décontamination - Antivirus - Protection - Protection de la Vie Privée

Exploration de modèle (« Model checking »)

Exploration de modèle (« Model checking »)

Terme français :

  • Exploration de modèle (« Model checking »)

Publication au JO (Journal Officiel de la République Française) :

  • 01 janv 2013

Terme utilisé en :

  • Informatique

Définition officielle :

  • 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 1 :

  • 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 également (terme(s) connexe(s)) :

Terme(s) étranger(s)

  • Model checking (en)


Aide aux traductions et à la recherche

Exploration de modèle (« Model checking ») - Exploration de modèle