dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom

Added screenshots of the models.

Jip Dekker 08c90f93 7ebe31eb

unified split
Report/Images/host_model.png

This is a binary file and will not be displayed.

Report/Images/network_model.png

This is a binary file and will not be displayed.