Computational Verification of Network Programs in Coq.

Published in: CPP (2013)

Keyphrases

formal methods
complex networks
communication networks
network model
real time
wireless sensor networks
model checking
data flow
signature verification
network size
distributed network