Meng Zhang, Anita Lungu, Daniel J. Sorin. Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. In Dimitris Gizopoulos, Susumu Horiguchi, Spyros Tragoudas, Mohammad Tehranipoor, editors, 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2009, 7-9 October 2009, Chicago, Illinois, USA. pages 277-285, IEEE Computer Society, 2009. [doi]
Abstract is missing.