Using Graph Transformations and Graph Abstractions for Software Verification.
Eduardo ZambonPublished in: ICGT (2010)
Keyphrases
- graph theory
- directed acyclic graph
- graph model
- directed graph
- graph structure
- real time
- graph representation
- graph theoretic
- stable set
- graph based algorithm
- dependency graph
- random walk
- graph search
- link analysis
- graph properties
- equivalence classes
- minimum spanning tree
- weighted graph
- structured data
- state space
- trade off
- data structure
- neural network