Tree Automata-Based Refinement with Application to Horn Clause Verification
Abstract elided by the publisher.
Related papers
- Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata CAV 2016
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Higher-order constrained horn clauses for verification POPL 2018
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Probabilistic Horn Clause Verification SAS 2017
- Relational Verification Through Horn Clause Transformation SAS 2016
- Horn-ICE learning for synthesizing invariants and contracts OOPSLA 2018