First-Order Model-Checking in Random Graphs and Complex Networks.
Jan DreierPhilipp KuinkePeter RossmanithPublished in: ESA (2020)
Keyphrases
- complex networks
- random graphs
- model checking
- linear temporal logic
- temporal logic
- small world
- undirected graph
- formal verification
- network analysis
- social network analysis
- scale free
- bounded model checking
- community detection
- model checker
- automated verification
- formal specification
- first order logic
- community structure
- link prediction
- computation tree logic
- graph theory
- formal methods
- biological networks
- functional modules
- symbolic model checking
- network structure
- social networks
- epistemic logic
- graph theoretic
- information theoretic concepts
- verification method
- modal logic
- random variables