dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom
TCP-setup-uppaal / Resources /
at main 5 files
Zeroconf - Paper.pdf
example - zeroconf abstract.xml
example - zeroconf full.xml
introduction to uppaal.pdf
rfc793.pdf