a data driven approach for algebraic loop invariants .
Learnability and the Vapnik-Chervonenkis dimension