Certifying Algorithms
Date
2011
Authors
McConnell, R M
Mehlhorn, Kurt
Naher, S
Schweitzer, Pascal
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
A 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 the
Description
Keywords
Keywords: Algorithms; Certification; Software reliability
Citation
Collections
Source
Computer Science Review
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description