Rigorous specification and conformance testing techniques for network protocols, as applied to tcp, udp, and sockets, SIGCOMM, pp.265-276, 2005. ,
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. ,
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. ,
Model checking programs Timing udp: Mechanized semantics for sockets, threads, and failures, Proc. of ESOP 2002, pp.278-294, 2002. ,