TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
MODEL CHECKING [1 record]
Record 1 - internal organization data 2025-02-05
Record 1, English
Record 1, Subject field(s)
- Systems Analysis (Information Processing)
- Artificial Intelligence
Record 1, Main entry term, English
- model checking
1, record 1, English, model%20checking
correct, noun
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
Model checking, a powerful technique in artificial intelligence and computer science, is used to verify the correctness of systems across various domains. Its applications span from hardware and software verification to planning and formal verification ... In the field of artificial intelligence, model checking verifies the correctness of proposed solutions to planning problems, ensuring that the planned actions lead to the desired outcomes. 2, record 1, English, - model%20checking
Record 1, French
Record 1, Domaine(s)
- Analyse des systèmes informatiques
- Intelligence artificielle
Record 1, Main entry term, French
- exploration de modèle
1, record 1, French, exploration%20de%20mod%C3%A8le
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
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, Spanish
Record 1, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: