Verifying Quantitative Reliability For Programs that Execute on Unreliable Hardware
We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it produces the correct result when executed on unreliable hardware.
