Skip to main navigation Skip to search Skip to main content

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 journal › Article › peer-review

44 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.
Sort by

Computer Science