Using Graph Transformations and Graph Abstractions for Software Verification.

Eduardo Zambon Arend Rensink

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

random walk
graph theory
directed acyclic graph
graph representation
weighted graph
neural network
graph based algorithm
graph model
directed graph
graph structure
graph databases
minimum spanning tree
connected components
structured data
data mining
graph theoretic
graph search
graph structures
databases
stable set