The following pages link to Pranav Garg (Q746777):
Displaying 5 items.
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Invariant synthesis for incomplete verification engines (Q2324217) (← links)
- Compositionality Entails Sequentializability (Q3000634) (← links)
- \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants (Q6536295) (← links)
