Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
No abstract available.
Related papers
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Tree Automata-Based Refinement with Application to Horn Clause Verification VMCAI 2015
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Verifying Tree-Manipulating Programs via CHCs CAV 2025
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Reasoning About Data Trees Using CHCs CAV 2022
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013