On the Verification of Logically Decorated Graph Transformations.
Jon Haël BrenasRachid EchahedMartin StreckerPublished in: CoRR (2018)
Keyphrases
- structured data
- graph structure
- graph representation
- weighted graph
- model checking
- graph model
- directed acyclic graph
- graph theory
- directed graph
- connected components
- random walk
- data sets
- labeled graphs
- formal verification
- face verification
- transformation rules
- graph theoretic
- graph databases
- graph mining
- markov chain
- social networks
- neural network