Skip to main content
Glite Dictionary
🕵️ A person who checks 💻 A checking program
verifier

verifier

6.3
A computer program that checks digital files or signatures are valid
  • noun
  • /ˈvɛrɪfaɪər/
  • Specialized
translation icon : verificador
  • A reliable verifier is crucial for maintaining the integrity of transactions in online banking.
  • verifier checks

The when the verifier is broken, the more powerful suggester does not help.

Examples

  • An existing Hoare-style program verifier called Boogie1 verifies the assembly language against a specification of safety and correctness.

    Academic text (2011)

  • The bytecode verifier statically checks incoming code.

    Academic text (2011)

  • So we have the signer over here and we have the verifier over here, right?

  • A Hoare-style verifier with an automated theorem prover verifies both the safety and correctness of the nucleus.

    Academic text (2011)

  • The TASS verifier takes as input the MPI/C source program and a specified number of processes and instantiates a symbolic model of the program with that process count.

    Academic text (2011)

  • The software uses a verifier to ensure that all user data is secure and accurate.

  • Before deploying the application, a verifier checks the authenticity of the digital signatures.

Synonyms

checker
vsverifier
34 3.0

A person or machine that finds mistakes in facts, writing and products

carries out similar inspections automatically for data, signatures, and identities
authenticator
vsverifier
  • Specialized
4 7.1

A person or device that checks if something is real

is automated and used in computing to perform that check
validator
vsverifier
1 4.4

A person or tool that checks if information meets required rules

is focused on automated integrity and identity checks in security systems
certifier
vsverifier
1 4.8

A person or organization that checks if something meets needed standards

operates as an automated checking component, not an issuing authority
confirmer
vsverifier
1 4.9

A person or device that checks facts and shows they are true

does that automatically within computing to check tokens and signatures

Antonyms

falsifier
1 8.7

A person who changes papers or records to deceive others

How Thorough

Coq
  • Specialized
3 9.9
auditor
  • Specialized
52 4.8
verifier
  • Specialized
6.3
validator
1 4.4
checker
34 3.0

Surface Forms

verifier singular
verifiers plural

Morphology

verifier = verify (transparent) = verify + er

Productive agent/tool noun formation: a program or component that performs verification; meaning is directly derived from 'verify'.

Etymology

Verifier comes from Latin parts verus 'true' and facere 'to make', so it means checking that something is true. That is why in computing a verifier is a program or tool that checks and confirms that data, signatures, or identities are correct.