Probabilistic Interval Analysis for Programs Running on Unreliable Hardware

This paper proposes a probabilistic interval analysis technique to statically analyze programs that run on unreliable hardware architectures, where operations can fail with a certain probability.