Towards SDN Network Proofs - Taming a Complex System.

Matt Stevens Bryan Ng David Streader Ian Welch

Published in: ICECCS (2016)

Keyphrases

real world
peer to peer
computer networks
communication networks
database
real time
end to end
network traffic
information retrieval
high level
theorem proving
network architecture
network parameters
distributed network