Source publication: [FJV16]
Tag: protocol
TCP, short for Transmission Control Protocol, is a widely used transport layer protocol that provides reliable and ordered delivery of a byte stream from one computer application to another [RFC793]. The authors of [FJV16] combined model learning and model checking in a case study involving Linux, Windows and FreeBSD implementations of TCP. Model learning was used to infer models of different software components and model checking was applied to fully explore what may happen when these components (e.g. a Linux client and a Windows server) interact. The analysis revealed several instances in which TCP implementations do not conform to their RFC specifications.