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

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

Formal methods in system design
Volume: 47
Issue: 1
Page(s): 120-157

Authors

Authors

Garg, Pranav
Löding, Christof
Madhusudan, P.
Neider, Daniel

Identifier