On recursion-free Horn clauses and Craig interpolation
From MaRDI portal
(Redirected from Publication:746767)
Recommendations
Cites work
- scientific article; zbMATH DE number 2080047 (Why is no real title available?)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- Abstractions from proofs
- Accelerating interpolants
- An interpolating sequent calculus for quantifier-free Presburger arithmetic
- Analysis of Boolean Programs
- Analysis of Linear Hybrid Systems in CLP
- Automating relatively complete verification of higher-order functional programs
- Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
- Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
- Dependent types from counterexamples
- Efficient CTL verification via Horn constraints solving
- Efficient generation of Craig interpolants in satisfiability modulo theories
- Generalised interpolation by solving recursion-free Horn clauses
- Generalization strategies for the verification of infinite state systems
- Generalized property directed reachability
- Interpolation and SAT-based model checking.
- Lazy Abstraction with Interpolants
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17--18, 2008. Revised selected papers
- Nested interpolants
- On recursion-free Horn clauses and Craig interpolation
- Predicate abstraction and refinement for verifying multi-threaded programs
- SMT-based model checking for recursive programs
- Synthesis of circular compositional program proofs via abduction
- Whale: an interpolation-based algorithm for inter-procedural verification
Cited in
(10)- Whale: an interpolation-based algorithm for inter-procedural verification
- Proof tree preserving tree interpolation
- Inferring simple solutions to recursion-free Horn clauses via sampling
- Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT
- Generalised interpolation by solving recursion-free Horn clauses
- On recursion-free Horn clauses and Craig interpolation
- scientific article; zbMATH DE number 7447757 (Why is no real title available?)
- Exploiting partial variable assignment in interpolation-based model checking
- Case-free programs: An abstraction of definite horn programs
- Guiding Craig interpolation with domain-specific abstractions
This page was built for publication: On recursion-free Horn clauses and Craig interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q746767)
