exploration de modèle

· modifiée le 1 Gennaio 2013 · fiche FranceTerme

Désignations

français	exploration de modèle FR 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é.
anglais	model checking

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: 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.
Journal officiel

Classement

Collections

Collège Informatique college-informatique

Domaines

Informatique

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/franceterme-INFO839/"

Données : FranceTerme, Ministère de la Culture, Délégation générale à la langue française. Licence Ouverte (Etalab).