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

Better screenshot

Ben Brücker 7e66b151 2d7eef99

unified split
Report/verifier-simul.png

This is a binary file and will not be displayed.