Verifying quantitative reliability for programs that execute on unreliable hardware,” (2013)

by M Carbin, S Misailovic, M C Rinard
Venue:in ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA),