Using Formal Methods to Evaluate Hardware Reliability in the Presence of Soft Errors | IEEE Conference Publication | IEEE Xplore