Automated Verification of Fault Tolerance Mechanism