Silviu Andrica, Horatiu Jula, George Candea. iProve: A scalable technique for consumer-verifiable software guarantees. In Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010. pages 271-280, IEEE, 2010. [doi]
Abstract is missing.