dekker.one
TCP-setup-uppaal#
An Uppaal analysis of the connection setup of the TCP protocol.
An Uppaal analysis of the connection setup of the TCP protocol.
TeX
97.5%
q
2.5%
27
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