ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
No abstract available.
DOI 10.1007/978-3-031-44245-2_13
Related papers
- Solving Constrained Horn Clauses over Algebraic Data Types VMCAI 2023
- Argument Reduction of Constrained Horn Clauses Using Equality Constraints APLAS 2023
- Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution) TACAS 2026
- Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types SAS 2025
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022