Princess
From MaRDI portal
Software:18941
No author found.
Related Items (28)
Quantifier-Free Interpolation of a Theory of Arrays ⋮ A Calculus for Modular Loop Acceleration ⋮ Lazy Abstraction with Interpolants for Arrays ⋮ Preface: Special issue on interpolation ⋮ Proof tree preserving tree interpolation ⋮ Interpolation systems for ground proofs in automated deduction: a survey ⋮ Guiding Craig interpolation with domain-specific abstractions ⋮ A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints ⋮ SAT-Based Model Checking ⋮ Interpolation and Model Checking ⋮ Craig interpolation with clausal first-order tableaux ⋮ An interpolating sequent calculus for quantifier-free Presburger arithmetic ⋮ Unnamed Item ⋮ Complete instantiation-based interpolation ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ On Interpolation in Decision Procedures ⋮ Parallelizing SMT solving: lazy decomposition and conciliation ⋮ Quantifier-free interpolation in combinations of equality interpolating theories ⋮ An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic ⋮ Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic ⋮ Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic ⋮ Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic ⋮ ICE-based refinement type discovery for higher-order functional programs ⋮ On recursion-free Horn clauses and Craig interpolation ⋮ Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic ⋮ Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. ⋮ Reasoning in the theory of heap: satisfiability and interpolation
This page was built for software: Princess
