Pages that link to "Item:Q746778"

The following pages link to Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778):

Displaying 2 items.

• From invariant checking to invariant inference using randomized search (Q518404) (← links)
• Non-well-founded deduction for induction and coinduction (Q2055840) (← links)