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

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

39 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets'. Together they form a unique fingerprint.

Computer Science