Automatic Verification of Agreement and Secrecy