Login / Signup

Bounded Model Checking of Graph Transformation Systems via SMT Solving.

Tobias IsenbergDominik SteenkenHeike Wehrheim
Published in: FMOODS/FORTE (2013)
Keyphrases
  • graph transformation
  • bounded model checking
  • computer systems
  • distributed systems
  • complex systems
  • combinatorial optimization
  • multi agent systems
  • expert systems
  • intelligent systems