dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom
TCP-setup-uppaal / README.md
at main 99 B view raw view code

TCP-setup-uppaal#

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