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.
