Reasoning about Software in the Presence of Transient Faults – Complete Proofs [note change] | Computer Science Department at Princeton University

Report ID:

TR-831-08

Authors:

Date:

July 2008

Pages:

220

Download Formats:

[PDF]

Complete proofs corresponding to TR-830-08 (Reasoning about Software in the Presence of Transient Faults).