Sequence Verification and Error Correction