verifier
英 ['verɪfaɪə] 美 ['verɪfaɪə]

n.

证实者，核验者，证明者；

英英释义

verifier[ 'verifaiə ]

• n.someone who vouches for another or for the correctness of a statement

  同义词：voucher

双语例句

用作名词(n.)

1. He was the verifier of all religions and creeds.
   他是所有宗教和信条的核验者。

权威例句

NuSMV: A New Symbolic Model Verifier
NuSMV: A new symbolic model verifier
NuSMV: A New Symbolic Model Verifier
Group signatures with verifier-local revocation
Boogie: a modular reusable verifier for object-oriented programs
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
Dafny: an automatic program verifier for functional correctness
Dafny: An Automatic Program Verifier for Functional Correctness
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules