print · source · login   

Transmission Control Protocol

Description

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 https://en.wikipedia.org/wiki/Transmission_Control_Protocol.

The SUT

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

TODO