dekker.one / TCP-setup-uppaal

This repository has no description

TeX 98%

q 2%

Spelling errors

e266878d Jip J. Dekker · 12y ago

Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal

535a3394 Jip J. Dekker · 12y ago

Some last changes

45f145ed Jip J. Dekker · 12y ago

And another better screenshot

ca93181c Ben Brücker · 12y ago

Better screenshot

7e66b151 Ben Brücker · 12y ago

Bit cleaner without contractions

2d7eef99 Ben Brücker · 12y ago

Some corrections in the english

2e4b27b5 Ben Brücker · 12y ago

Bit more conclusion

7a296fb7 Ben Brücker · 12y ago

Added screenshot and text for simul connect

f98d9043 Ben Brücker · 12y ago

Simultaneous connect, and issues described

16819e73 Ben Brücker · 12y ago

main · 12y ago Default

README.md

TCP-setup-uppaal #

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