verifier

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