Provable Transient Recovery for Frame-Based, Fault-Tolerant Computing Systems Ben L. DiVito, Ricky W Butler