Sequential Redundancy Identification Using Verification Techniques | IEEE Conference Publication | IEEE Xplore