Pages that link to "Item:Q479820"
From MaRDI portal
The following pages link to An extension of lazy abstraction with interpolation for programs with arrays (Q479820):
Displaying 9 items.
- Decision procedures for flat array properties (Q287272) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Array abstraction with symbolic pivots (Q2026786) (← links)
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464711) (← links)
- Trace Abstraction-Based Verification for Uninterpreted Programs (Q6488472) (← links)