Tuesday, July 26, 2016

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.



from Communications of the ACM: Latest Issue http://ift.tt/2autZi4

No comments:

Post a Comment