Abstract interpretation from Büchi automata.

Martin Hofmann Wei Chen

Published in: CSL-LICS (2014)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
regular expressions
reasoning engine
active databases
dynamic analysis
source code
integrity constraints
database
relational databases
object oriented databases
deductive databases
modeling language