Using Automated Theorem Provers in Verification of Protocols