Login / Signup

Interpolant tree automata and their application in Horn clause verification.

Bishoksan KafleJohn P. Gallagher
Published in: VPT@ETAPS (2016)
Keyphrases
  • tree automata
  • horn clauses
  • information extraction
  • sufficient conditions