Parameterized Verification of Broadcast Networks of Register Automata.

Giorgio Delzanno Arnaud Sangnier Riccardo Traverso

Published in: RP (2013)

Keyphrases

social networks
cellular automata
finite automata
model checking
network structure
data dissemination
network design
finite state machines
network model
computer networks
complex networks
community structure
regular expressions
network analysis
markov chain
case study
database