Login / Signup

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.

Sven SchneiderJohannes DyckHolger Giese
Published in: ICGT (2020)
Keyphrases
  • attributed graphs
  • formal verification
  • automated verification
  • graph matching
  • pattern recognition
  • graph clustering
  • feature points
  • graph data
  • random graphs
  • symbolic model checking