print · source · login   

Transmission Control Protocol


The Transmission Control Protocol(TCP), described by [RFC793] is a transport layer protocol, that provides reliable and ordered delivery of a byte stream from one computer application to another. It is one of the most widely used communication protocols. For a general description next to the [RFC793] specification see


For the SUT the following implementations are used:

We use the models obtained by learning, and the network assembly described earlier to automatically verify specifications using the NuSMV model checker.

Models of TCP protocol