système automatisé de vérification

Désignations

français	système automatisé de vérification (correct,masculine noun) synonyme : système de vérification automatique (correct,masculine noun)
anglais	automated verification system (correct,standardized) OBS: automated verification system: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: 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.
anglais: 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.

Classement

Collections

Électronique et informatique informatics

Domaines

Programmes et programmation (Informatique)

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-1a3bca7f614c5395/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.