Compositional Verification: Decidability Issues Using Graph Substitutions.
Olivier LyPublished in: MFCS (2004)
Keyphrases
- key issues
- weighted graph
- graph structure
- graph representation
- description logics
- model checking
- graph partitioning
- graph theory
- query answering
- social networks
- formal verification
- graph theoretic
- connected components
- structured data
- directed graph
- integrity constraints
- random walk
- knowledge representation
- directed acyclic graph
- special case
- database systems
- image segmentation
- face verification
- neural network
- dependency graph
- graph based algorithm