NetKAT - A Formal System for the Verification of Networks.

Published in: APLAS (2014)

Keyphrases

formal methods
model checking
formal analysis
social networks
formal model
network size
network design
network analysis
computer networks
data structure
complex networks
formal specification
decision trees
heterogeneous networks
genetic algorithm
real time
cellular networks
signature verification
database