Tree Automata-Based Refinement with Application to Horn Clause Verification.

Bishoksan Kafle, John P. Gallagher

Browse the full VMCAI paper archive.