Login / Signup

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems.

Peter BackesJan Reineke
Published in: SPIN (2015)
Keyphrases
  • graph transformation
  • abstract interpretation
  • management system
  • distributed systems
  • termination analysis