The Driver Verifier Tool