双语例句
用作名词(n.)
- He was the verifier of all religions and creeds.
他是所有宗教和信条的核验者。
权威例句
NuSMV: A New Symbolic Model VerifierNuSMV: A new symbolic model verifierNuSMV: A New Symbolic Model VerifierGroup signatures with verifier-local revocationBoogie: a modular reusable verifier for object-oriented programsBoogie: A Modular Reusable Verifier for Object-Oriented ProgramsBoogie: A Modular Reusable Verifier for Object-Oriented ProgramsDafny: an automatic program verifier for functional correctnessDafny: An Automatic Program Verifier for Functional CorrectnessAn Efficient Cryptographic Protocol Verifier Based on Prolog Rules