dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom
TCP-setup-uppaal / Model /
at main 2 files
model.q
model.xml