Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.

Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough

Browse the full SIGCOMM paper archive.