Towards automated verification of autonomous networks: A case study in self-configuration.

JaeSeung Song Tiejun Ma Peter R. Pietzuch

Published in: PerCom Workshops (2010)

Keyphrases

automated verification
model checking
formal verification
automated reasoning
social networks
case study
cooperative
computer networks
real time
complex networks
network analysis
cellular networks
data sets
genetic algorithm
mobile robot