README.md at main · dekker.one/TCP-setup-uppaal

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

TCP-setup-uppaal / README.md

at main 4 lines 99 B view raw view rendered

wrap content

1TCP-setup-uppaal
2================
3
4An Uppaal analysis of the connection setup of the TCP protocol.