Abstract Interpretation with Applications to Timing Validation.

Reinhard Wilhelm Björn Wachter

Published in: CAV (2008)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
information systems
relational databases
software engineering
source code