Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Garg, Pranav (Corresponding author); Löding, Christof; Madhusudan, P.; Neider, Daniel

Dordrecht [u.a.] : Springer Science + Business Media B.V (2015)
Journal Article

In: Formal methods in system design
Volume: 47
Issue: 1
Page(s)/Article-Nr.: 120-157