78
Voted
DSN
2004
IEEE
15 years 17 days ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...