verifier音标
英 ['verɪfaɪə]
美 ['verɪfaɪə]
verifier翻译
n.
证实者,核验者,证明者;
英英释义
verifier[ 'verifaiə ]
n.someone who vouches for another or for the correctness of a statement
同义词:voucher
verifier用法
双语例句
用作名词(n.)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