S. Bishop, M. Fairbairn, M. Norrish, P. Sewell, M. Smith et al., Rigorous specification and conformance testing techniques for network protocols, as applied to tcp, udp, and sockets, SIGCOMM, pp.265-276, 2005.

J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu et al., Bandera: extracting finite-state models from java source code Abstracting c with abc, ICSE Proc. of CAV 2002 María del Mar Gallardo, Pedro Merino, and David Sanan. Model Checking Software with Well-Defined APIs: the Socket Case Proc. of FMICS 2005, pp.439-448, 2000.

J. Gerard, . J. Holzmannhol00-]-g, . J. Holzmannhs02-]-g, M. H. Holzmann, and . Smith, Automating software feature verification An automated verification method for distributed systems software based on model extraction, Design and Validation of Computer ProtocolsRFC793] Transmission Control Protocol. RFC 793 (Informational), 1981. [RFC1323] TCP Extensions for High Performance. RFC 1323 (Informational), 1992. [Ste95] W. Richard Stevens. TCP/IP IllustratedVHB + 03, pp.35-45364, 1991.

W. Visser, K. Havelund, B. Brat, S. Park, and F. Lerda, Model checking programs Timing udp: Mechanized semantics for sockets, threads, and failures, Proc. of ESOP 2002, pp.278-294, 2002.