Login / Signup
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.
Sven Schneider
Johannes Dyck
Holger 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