Tutorial: Practical verification of network programs.

Nate Foster Arjun Guha Mark Reitblatt Cole Schlesinger

Published in: FMCAD (2013)

Keyphrases

peer to peer
network structure
computer networks
real world
network model
network parameters
network resources
network architecture
network traffic
smart card
complex networks
communication networks
model checking
response time
data flow
object oriented
network size
database