A Temporal Graph Logic for Verification of Graph Transformation Systems.
Paolo BaldanAndrea CorradiniBarbara KönigAlberto Lluch-LafuentePublished in: WADT (2006)
Keyphrases
- graph transformation
- asynchronous circuits
- spatio temporal
- structured data
- computer systems
- graph structure
- expert systems
- distributed systems
- management system
- digital circuits
- classical logic
- automated reasoning
- graph representation
- graph mining
- temporal constraints
- graph matching
- temporal information
- model checking
- complex systems
- learning systems
- intelligent systems