Email Record: New algorithms for logic verification and sequential redundancy identification /