TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 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.  2, record 1, English, - automated%20verification%20system

Record number: 1, Textual support number: 1 OBS

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

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 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.  1, record 1, French, - syst%C3%A8me%20automatis%C3%A9%20de%20v%C3%A9rification

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

[The witness] contended that in the absence of proof that the appellant had successfully completed the Agent I Test Battery the Selection Board had appropriately required the appellant to undertake that selection tool.  2, record 2, English, - absence%20of%20proof

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

[Le témoin], en l'absence de toute preuve que l'appelant avait réussi ces tests, le jury de sélection avait eu raison de l'obliger à passer l'épreuve de nouveau.  2, record 2, French, - absence%20de%20preuve

Record 2,  Textual support,  Spanish