Pages that link to "Item:Q2891439"

The following pages link to Lazy Abstraction with Interpolants for Arrays (Q2891439):

Displaying 16 items.

• Decision procedures for flat array properties (Q287272) (← links)
• Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
• Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
• An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← 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)
• \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
• Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
• Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
• Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
• Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056) (← links)
• RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
• Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
• SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
• Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
• Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
• Complete instantiation-based interpolation (Q5890659) (← links)