Verifying quantitative reliability for programs that execute on unreliable hardware.

Michael Carbin, Sasa Misailovic, Martin C. Rinard

Browse the full OOPSLA paper archive.