Model-Checking Information Diffusion in Social Networks with PRISM.
Louise A. DennisMarija SlavkovikPublished in: EUMAS/AT (2020)
Keyphrases
- information diffusion
- model checking
- social networks
- temporal logic
- diffusion models
- formal verification
- diffusion model
- social media
- temporal properties
- model checker
- automated verification
- formal specification
- reachability analysis
- viral marketing
- community detection
- computation tree logic
- diffusion process
- verification method
- information flow
- social network analysis
- symbolic model checking
- timed automata
- formal methods
- network structure
- transition systems
- bounded model checking
- heterogeneous social networks
- epistemic logic
- online social networks
- concurrent systems
- linear temporal logic
- information systems
- social networking
- online communities
- np hard
- social relationships