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

Configure Feed

Select the types of activity you want to include in your feed.

q 100.0%
15 1 0

Clone this repository

https://tangled.org/dekker.one/TCP-setup-uppaal https://tangled.org/did:plc:7w3n7caddphrojzkq2qmlyy4/TCP-setup-uppaal
git@knot.dekker.one:dekker.one/TCP-setup-uppaal git@knot.dekker.one:did:plc:7w3n7caddphrojzkq2qmlyy4/TCP-setup-uppaal

For self-hosted knots, clone URLs may differ based on your setup.

Download tar.gz
README.md

TCP-setup-uppaal#

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