TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 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.  1, record 1, English, - inductive%20assertion%20method

Record number: 1, Textual support number: 1 OBS

inductive assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, record 1, English, - inductive%20assertion%20method

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 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.  1, record 1, French, - m%C3%A9thode%20d%27assertion%20inductive

Record 1,  Textual support,  Spanish