TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
PREUVE CORRECTION [4 fiches]
Fiche 1 - données d’organisme interne 2024-10-01
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 1, La vedette principale, Anglais
- Hoare logic
1, fiche 1, Anglais, Hoare%20logic
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- Floyd–Hoare logic 2, fiche 1, Anglais, Floyd%26ndash%3BHoare%20logic
correct
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
Hoare logic ... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. 2, fiche 1, Anglais, - Hoare%20logic
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 1, La vedette principale, Français
- logique de Hoare
1, fiche 1, Français, logique%20de%20Hoare
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- logique de Floyd-Hoare 2, fiche 1, Français, logique%20de%20Floyd%2DHoare
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes. 3, fiche 1, Français, - logique%20de%20Hoare
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2011-10-19
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Testing and Debugging
- Computer Programs and Programming
Fiche 2, La vedette principale, Anglais
- proof of correctness
1, fiche 2, Anglais, proof%20of%20correctness
correct, normalisé
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- correctness proving 2, fiche 2, Anglais, correctness%20proving
correct, normalisé
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
A formal mathematic demonstration that the semantics of a program are consistent with the specifications of that program. 2, fiche 2, Anglais, - proof%20of%20correctness
Record number: 2, Textual support number: 1 OBS
See also: partial correctness, total correctness. 3, fiche 2, Anglais, - proof%20of%20correctness
Record number: 2, Textual support number: 2 OBS
proof of correctness: standardized by IEEE; correctness proving: Term and definition standardized by ISO/IEC. 1, fiche 2, Anglais, - proof%20of%20correctness
Fiche 2, Français
Fiche 2, Domaine(s)
- Test et débogage
- Programmes et programmation (Informatique)
Fiche 2, La vedette principale, Français
- démonstration d’exactitude
1, fiche 2, Français, d%C3%A9monstration%20d%26rsquo%3Bexactitude
correct, nom féminin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- preuve de correction 1, fiche 2, Français, preuve%20de%20correction
correct, nom féminin, normalisé
- preuve d’exactitude 2, fiche 2, Français, preuve%20d%26rsquo%3Bexactitude
correct, nom féminin
Fiche 2, Justifications, Français
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, fiche 2, Français, - d%C3%A9monstration%20d%26rsquo%3Bexactitude
Record number: 2, Textual support number: 1 OBS
Voir également : exactitude partielle, exactitude totale. 2, fiche 2, Français, - d%C3%A9monstration%20d%26rsquo%3Bexactitude
Record number: 2, Textual support number: 2 OBS
démonstration d’exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI. 2, fiche 2, Français, - d%C3%A9monstration%20d%26rsquo%3Bexactitude
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme externe 2006-01-30
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 3
Fiche 3, La vedette principale, Anglais
- proof of correctness
1, fiche 3, Anglais, proof%20of%20correctness
correct, normalisé
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
proof that results from applying correctness proving 1, fiche 3, Anglais, - proof%20of%20correctness
Record number: 3, Textual support number: 1 OBS
proof of correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 3, Anglais, - proof%20of%20correctness
Fiche 3, Français
Fiche 3, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 3
Fiche 3, La vedette principale, Français
- preuve d’exactitude
1, fiche 3, Français, preuve%20d%26rsquo%3Bexactitude
correct, nom féminin, normalisé
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
- preuve de correction 1, fiche 3, Français, preuve%20de%20correction
correct, nom féminin, normalisé
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
preuve résultant d’une démonstration d’exactitude 1, fiche 3, Français, - preuve%20d%26rsquo%3Bexactitude
Record number: 3, Textual support number: 1 OBS
preuve d’exactitude; preuve de correction : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7 : 2000]. 2, fiche 3, Français, - preuve%20d%26rsquo%3Bexactitude
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1995-10-12
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Computer Programs and Programming
- Testing and Debugging
Fiche 4, La vedette principale, Anglais
- proof of correctness
1, fiche 4, Anglais, proof%20of%20correctness
correct, normalisé
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
A program proof that results from applying the technique used to prove mathematically that a program satisfies its specifications. 2, fiche 4, Anglais, - proof%20of%20correctness
Record number: 4, Textual support number: 1 OBS
proof of correctness: Term and definition standardized by IEEE and ISO/IEC. 3, fiche 4, Anglais, - proof%20of%20correctness
Fiche 4, Français
Fiche 4, Domaine(s)
- Programmes et programmation (Informatique)
- Test et débogage
Fiche 4, La vedette principale, Français
- preuve d’exactitude
1, fiche 4, Français, preuve%20d%26rsquo%3Bexactitude
correct, nom féminin, normalisé
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
- preuve de correction 1, fiche 4, Français, preuve%20de%20correction
correct, nom féminin, normalisé
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
Preuve formelle de l’exactitude d’un programme obtenue en appliquant la technique qui consiste à prouver mathématiquement qu’un programme est conforme à ses spécifications. 2, fiche 4, Français, - preuve%20d%26rsquo%3Bexactitude
Record number: 4, Textual support number: 2 DEF
Preuve résultant d’une démonstration d’exactitude. 3, fiche 4, Français, - preuve%20d%26rsquo%3Bexactitude
Record number: 4, Textual support number: 1 OBS
preuve d’exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI. 4, fiche 4, Français, - preuve%20d%26rsquo%3Bexactitude
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :