Learning the Boundary of Inductive Invariants

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham +1

We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, wh…