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