Verifying Timing Behavior by Abstract Interpretation of Executable Code.

Christian Ferdinand Reinhold Heckmann

Published in: CHARME (2005)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
model checking
source code
termination analysis
databases
formal specification
active databases
control flow
active rules
database
case study
high level
query processing