Verifying End-to-End Protocols using Induction with CSP/FDR.

S. J. Creese Joy N. Reed

Published in: IPPS/SPDP Workshops (1999)

Keyphrases

end to end
transport layer
constraint satisfaction problems
wireless ad hoc networks
congestion control
admission control
ad hoc networks
content delivery
real world
multipath
high bandwidth
false discovery rate
communication protocol
internet protocol