Verification of Consistency Protocols via Infinite-State Symbolic Model Checking