Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.

Bishoksan Kafle, John P. Gallagher, Jos F. Morales

Browse the full CAV paper archive.