TCP-setup-uppaal
================

An Uppaal analysis of the connection setup of the TCP protocol.