We introduce the model of batch checking, which allows one to check the result of a program on many inputs at once. We show that one can batch check programs for linear functions with very little overhead in the running time.
|National Science Foundation
|International Business Machines Corporation
- Design of algorithms
- program correctness