McConnell, R MMehlhorn, KurtNaher, SSchweitzer, Pascal2015-12-101574-0137http://hdl.handle.net/1885/59173A certifying algorithm is an algorithm that produces, with each output, a certificate or witness (easy-to-verify proof) that the particular output has not been compromised by a bug. A user of a certifying algorithm inputs x, receives the output y and theKeywords: Algorithms; Certification; Software reliability201110.1016/j.cosrev.2010.09.0092016-02-24