Learning Universally Quantified Invariants of Linear Data Structures

Pranav Garg, Christof Loding, P. Madhusudan +1

We propose a new automaton model, called quantified data automata over words, that can model quantified invariants over linear data structures, and build poly-time active learning…