Abstract Interpretation of Graph Transformation.

Jörg Bauer Reinhard Wilhelm

Published in: Simulation and Verification of Dynamic Systems (2006)

Keyphrases

graph transformation
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
databases