Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.
Antonella SantoneGigliola VagliniPublished in: ICSOFT (2012)
Keyphrases
- formal methods
- social networks
- formal analysis
- search strategies
- knowledge based systems
- safety critical
- model checker
- software engineering
- model checking
- provably correct
- social network analysis
- social networking
- online social networks
- process algebra
- artificial intelligence
- formal specification
- reactive systems
- social media
- search algorithm
- optimal solution
- databases
- constraint satisfaction
- security properties
- development lifecycle
- heuristic search
- simulated annealing
- machine learning