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
Identifier
- DOI: 10.1007/s10703-015-0231-6
- RWTH PUBLICATIONS: RWTH-2016-07341