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
98.3%
q
1.7%
code
Clone this repository
https://tangled.org/dekker.one/TCP-setup-uppaal
git@knot.dekker.one:dekker.one/TCP-setup-uppaal
For self-hosted knots, clone URLs may differ based on your setup.
README.md