DenScope Verifier