TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

PROOF CORRECTNESS [11 records]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 2017-01-26

English

Subject field(s)
  • Systems Analysis (Information Processing)
  • Life Cycle (Informatics)
DEF

In proof of correctness, a description in a formal language of the externally visible behavior of a system or system component.

DEF

A specification written in a formal notation, often for use in correctness proving.

DEF

A specification that is used to prove mathematically the validity of an implementation or to derive mathematically the implementation.

OBS

formal specification: term standardized by IEEE; ISO and CSA.

French

Domaine(s)
  • Analyse des systèmes informatiques
  • Cycle de vie (Informatique)
DEF

Spécification pouvant être utilisée afin de démontrer mathématiquement la validité de la mise en œuvre d'un système ou encore de dériver mathématiquement la mise en œuvre du système.

DEF

Spécification écrite en notation formelle, souvent utilisée pour une démonstration d'exactitude.

OBS

spécification formelle : terme normalisé par l'ISO/CEI et la CSA.

Spanish

Campo(s) temático(s)
  • Análisis de los sistemas de informática
  • Ciclo de vida (Informática)
DEF

Especificación escrita en una notación formal.

Save record 1

Record 2 2012-10-03

English

Subject field(s)
  • Computer Programs and Programming
DEF

A software tool whose input is a computer program and a representation of its specification, and whose output is a correctness proof or disproof of the program.

OBS

automated verification system: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

French

Domaine(s)
  • Programmes et programmation (Informatique)
DEF

Outil logiciel qui accepte, comme entrée, un programme machine et une représentation de ses caractéristiques et qui produit, possiblement avec l'aide d'un utilisateur, une preuve d'exactitude ou d'inexactitude du programme.

Spanish

Save record 2

Record 3 2012-10-03

English

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

A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved to be true.

OBS

inductive assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

French

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

Technique de la preuve d'exactitude dans laquelle les assertions écrite décrivent les entrées, les sorties et les conditions intermédiaires d'un programme; un ensemble de théorèmes est élaboré, qui établit un rapport entre la satisfaction des assertions d'entrée et la satisfaction des assertions de sortie, et la validité des théorèmes est démontrée.

Spanish

Save record 3

Record 4 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 4

Record 5 - 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 5

Record 6 1998-09-08

English

Subject field(s)
  • Correction and Proofreading (Printing)
DEF

A proof turned over to the author to check for correctness or to improve the text, if he so desires, by changes known as author's alterations.

French

Domaine(s)
  • Correction d'épreuves (Imprimerie)
DEF

Épreuve envoyée à l'auteur, ou retournée par l'auteur, après correction.

Spanish

Save record 6

Record 7 1995-10-12

English

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

In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps.

OBS

Contrast with total correctness.

OBS

partial correctness: Term standardized by ISO/IEC; Term and definition standardized by IEEE.

French

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

Dans une preuve d'exactitude, expression indiquant que les assertions de sortie d'un programme proviennent logiquement de ses assertions d'entrée et des étapes du traitement.

OBS

Antonyme d'exactitude totale.

OBS

exactitude partielle; correction partielle : Termes normalisés par l'ISO/CEI.

Spanish

Save record 7

Record 8 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 8

Record 9 1992-11-18

English

Subject field(s)
  • Programming Languages
DEF

A proof method is given whereby the correctness of the representation behaviour of an operation relative to the model behaviour specification can be proved.

French

Domaine(s)
  • Langages de programmation

Spanish

Save record 9

Record 10 1992-11-16

English

Subject field(s)
  • Artificial Intelligence
CONT

The analytic approach involves a two-step process. First, one uses the domain theory to construct an explanation("explanation" is really used to mean "proof" of correctness of a specific solution to a problem given the axioms of the domain theory) that proves that the training example is a positive instance of the goal concept.

French

Domaine(s)
  • Intelligence artificielle
DEF

Une des généralisations possibles de la trace d'une preuve formelle.

CONT

L'apprentissage analytique par explication. L'apprentissage s'effectue en deux étapes : (i) on élabore une explication justifiant en quoi l'exemple est une instance du concept faisant l'objet de l'apprentissage, en exploitant les connaissances du domaine disponibles.

Spanish

Save record 10

Record 11 1989-01-18

English

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

Probes, such as instructions or assertions, inserted into a computer program to facilitate execution monitoring, proof of correctness, resource monitoring, or other activities.

OBS

program instrumentation: STD-IEEE (term and definition).

French

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

Sondes, telles que des instructions ou des assertions, insérées dans un programme machine pour faciliter la surveillance de l'exécution et le contrôle de l'exactitude et des ressources ou d'autres activités.

Spanish

Save record 11

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Display options

Change the order of display of the official languages of Canada
Option to display the non-official languages (Spanish or Portuguese)
Display definitions, contexts, etc., on records

Features

GCtranslate (available on the Government of Canada network only)

Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.

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: