Keyphrases
- random walk
- formal verification
- model checking
- model checker
- markov chain
- automated verification
- bounded model checking
- directed graph
- stationary distribution
- link prediction
- symbolic model checking
- spectral methods
- transition probabilities
- transition probability matrix
- social networks
- program slicing
- flow graph
- automated reasoning
- web graph
- steady state
- social network analysis
- constraint satisfaction problems
- search algorithm
- clustering algorithm