TERMIUM Plus^®

Record 1,  Textual support,  English

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 DEF

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.  1, record 1, French, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 1 OBS

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é.  1, record 1, French, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 2 OBS

exploration de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.  2, record 1, French, - exploration%20de%20mod%C3%A8le

Record 1,  Textual support,  Spanish