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