TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

PROOF CORRECTNESS [3 records]

Record 1 2011-10-19

English

Subject field(s)
  • Testing and Debugging
  • Computer Programs and Programming
DEF

A formal mathematic demonstration that the semantics of a program are consistent with the specifications of that program.

OBS

See also: partial correctness, total correctness.

OBS

proof of correctness: standardized by IEEE; correctness proving: Term and definition standardized by ISO/IEC.

French

Domaine(s)
  • Test et débogage
  • Programmes et programmation (Informatique)
DEF

Démonstration mathématique formelle pour démontrer que la sémantique d'un programme est conforme aux spécifications de ce programme.

OBS

Voir également : exactitude partielle, exactitude totale.

OBS

démonstration d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI.

Spanish

Save record 1

Record 2 - external organization data 2006-01-30

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
07.07.28 (2382)
ISO/IEC standard entry number
DEF

proof that results from applying correctness proving

OBS

proof of correctness: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
07.07.28 (2382)
ISO/IEC standard entry number
DEF

preuve résultant d'une démonstration d'exactitude

OBS

preuve d'exactitude; preuve de correction : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000].

Spanish

Save record 2

Record 3 1995-10-12

English

Subject field(s)
  • Computer Programs and Programming
  • Testing and Debugging
DEF

A program proof that results from applying the technique used to prove mathematically that a program satisfies its specifications.

OBS

proof of correctness: Term and definition standardized by IEEE and ISO/IEC.

French

Domaine(s)
  • Programmes et programmation (Informatique)
  • Test et débogage
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.

DEF

Preuve résultant d'une démonstration d'exactitude.

OBS

preuve d'exactitude; preuve de correction : Termes et définition normalisés par l'ISO/CEI.

Spanish

Save record 3

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: