Algorithms for Validation