Verifying the CPA Networking Stack using SPIN/Promela.

Kevin Chalmers Jon M. Kerridge

Published in: CPA (2013)

Keyphrases

peer to peer
distributed computing
model checking
cutting plane algorithm
room temperature
databases
wireless networking
intrusion detection
wireless sensor networks
distributed systems
evolutionary algorithm
bayesian networks
case study
network infrastructure
knowledge base
real world
database