Pages that link to "Item:Q3392917"
From MaRDI portal
The following pages link to Abstraction Refinement for Quantified Array Assertions (Q3392917):
Displaying 5 items.
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778) (← links)
- An Assume Guarantee Approach for Checking Quantified Array Assertions (Q3067480) (← links)
- Generic Abstraction of Dictionaries and Arrays (Q5170171) (← links)
