TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
CORRECTNESS PROVING [2 records]
Record 1 - internal organization data 2011-10-19
Record 1, English
Record 1, Subject field(s)
- Testing and Debugging
- Computer Programs and Programming
Record 1, Main entry term, English
- proof of correctness
1, record 1, English, proof%20of%20correctness
correct, standardized
Record 1, Abbreviations, English
Record 1, Synonyms, English
- correctness proving 2, record 1, English, correctness%20proving
correct, standardized
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A formal mathematic demonstration that the semantics of a program are consistent with the specifications of that program. 2, record 1, English, - proof%20of%20correctness
Record number: 1, Textual support number: 1 OBS
See also: partial correctness, total correctness. 3, record 1, English, - proof%20of%20correctness
Record number: 1, Textual support number: 2 OBS
proof of correctness: standardized by IEEE; correctness proving: Term and definition standardized by ISO/IEC. 1, record 1, English, - proof%20of%20correctness
Record 1, French
Record 1, Domaine(s)
- Test et débogage
- Programmes et programmation (Informatique)
Record 1, Main entry term, French
- démonstration d'exactitude
1, record 1, French, d%C3%A9monstration%20d%27exactitude
correct, feminine noun, standardized
Record 1, Abbreviations, French
Record 1, Synonyms, French
- preuve de correction 1, record 1, French, preuve%20de%20correction
correct, feminine noun, standardized
- preuve d'exactitude 2, record 1, French, preuve%20d%27exactitude
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Démonstration mathématique formelle pour démontrer que la sémantique d'un programme est conforme aux spécifications de ce programme. 1, record 1, French, - d%C3%A9monstration%20d%27exactitude
Record number: 1, Textual support number: 1 OBS
Voir également : exactitude partielle, exactitude totale. 2, record 1, French, - d%C3%A9monstration%20d%27exactitude
Record number: 1, Textual support number: 2 OBS
démonstration d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI. 2, record 1, French, - d%C3%A9monstration%20d%27exactitude
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - external organization data 2006-01-30
Record 2, English
Record 2, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 2
Record 2, Main entry term, English
- correctness proving
1, record 2, English, correctness%20proving
correct, standardized
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 DEF
formal mathematical demonstration that the semantics of a program is consistent with the specifications of that program 1, record 2, English, - correctness%20proving
Record number: 2, Textual support number: 1 OBS
correctness proving: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, record 2, English, - correctness%20proving
Record 2, French
Record 2, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 2
Record 2, Main entry term, French
- démonstration d'exactitude
1, record 2, French, d%C3%A9monstration%20d%27exactitude
correct, feminine noun, standardized
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
démonstration mathématique formelle pour démontrer que la sémantique d'un programme est conforme aux spécifications de ce programme 1, record 2, French, - d%C3%A9monstration%20d%27exactitude
Record number: 2, Textual support number: 1 OBS
démonstration d'exactitude : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, record 2, French, - d%C3%A9monstration%20d%27exactitude
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
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: