Login / Signup
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.
Bishoksan Kafle
John P. Gallagher
José F. Morales
Published in:
CAV (1) (2016)
Keyphrases
</>
horn clauses
tree automata
finite automata
abstract interpretation
model checking
function symbols
termination analysis
inference rules
finite state
static analysis
databases
logic programs
active rules
database queries
dynamic analysis
context free
regular expressions
inductive logic programming
data mining