Hoare-Style Verification of Graph Programs.
Christopher M. PoskittDetlef PlumpPublished in: Fundam. Informaticae (2012)
Keyphrases
- graph theory
- graph structure
- graph model
- symbolic execution
- structured data
- model checking
- graph theoretic
- database
- random walk
- graph matching
- directed acyclic graph
- graph properties
- graph construction
- formal verification
- graphical representation
- spanning tree
- directed graph
- search engine
- graph representation
- programming environment
- weighted graph
- bipartite graph
- java programs
- stable set