Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling
Abstract elided by the publisher.
Related papers
- Solving Recursion-Free Horn Clauses over LI+UIF APLAS 2011
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- Solvable Tuple Patterns and Their Applications to Program Verification PLDI 2026
- A data-driven CHC solver PLDI 2018
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- Cell Morphing: From Array Programs to Array-Free Horn Clauses SAS 2016
- Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses ESOP 2019