algorithme de vérification

Désignations

français	algorithme de vérification (correct,masculine noun) CONT: L'algorithme de vérification consiste [...] à simplement parcourir de façon exhaustive l'espace d'états en vérifiant pour chaque état que l'assertion est toujours vraie.
anglais	verification algorithm (correct) OBS: Algorithm A verifies x if there exists a y such that A(x,y) = 1.

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

anglais: A two-argument algorithm A, where one argument is an ordinary input string x, and the other argument is a binary string y called a certificate.

Classement

Collections

Électronique et informatique informatics

Domaines

Mathématiques informatiques

API

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

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