Iterative Specialisation of Horn Clauses
Abstract elided by the publisher.
Related papers
- Specification synthesis with constrained Horn clauses PLDI 2021
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS 2023
- Probabilistic Horn Clause Verification SAS 2017
- Solving Existentially Quantified Horn Clauses CAV 2013
- Solving Recursion-Free Horn Clauses over LI+UIF APLAS 2011
- On Solving Universally Quantified Horn Clauses SAS 2013
- Cell Morphing: From Array Programs to Array-Free Horn Clauses SAS 2016
- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling TACAS 2015