software verifier