Low Level Verifier