Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults