dekker.one / TCP-setup-uppaal
This repository has no description
Star
Fork 0
Watch

Commits on main

Spelling errors main
Jip J. Dekker committed
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
Jip J. Dekker committed
Some last changes
Jip J. Dekker committed
And another better screenshot
Ben Brücker committed
Better screenshot
Ben Brücker committed
Bit cleaner without contractions
Ben Brücker committed
Some corrections in the english
Ben Brücker committed
Bit more conclusion
Ben Brücker committed
Added screenshot and text for simul connect
Ben Brücker committed
Simultaneous connect, and issues described
Ben Brücker committed
Added proof of the non simultanious connect
Jip J. Dekker committed
Added the verifier picture
Jip J. Dekker committed
Added Abstract
Jip J. Dekker committed
Basic Query verification things.
Jip J. Dekker committed
Perfected the fourth query
Jip J. Dekker committed
Removed faulty query
Jip J. Dekker committed
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
Jip J. Dekker committed
Changed the model to remove old transmissions from the network
Jip J. Dekker committed
My section of the report is now reasonably complete
Ben Brücker committed
Changed the screenshots a little
Ben Brücker committed
Changed TCP segment to TCP packet
Ben Brücker committed
Added the query from frits
Jip J. Dekker committed
Changed the template
Ben Brücker committed
Added an example and the sections of the report.
Jip J. Dekker committed
Initial commit of the report
Ben Brücker committed
Added screenshots of the models.
Jip Dekker committed
Host rename and uncomplete query (mailed Frits)
Jip Dekker committed
Select and simplification
Jip Dekker committed
Updated sequence number stuff
Ben Brücker committed
Soem work!
Jip Dekker committed
Added all variables for real sequence numbers
Jip Dekker committed
Very meta!
Jip Dekker committed
Changed from packets to segments
Jip Dekker committed
Stylistic changes
Jip J. Dekker committed
Extra state kunnen verwijderen door extra variabelen te gebruiken
Ben Brücker committed
We changed something
Jip J. Dekker committed
Twee paketten.
Jip J. Dekker committed
Seems finished
Jip J. Dekker committed
One channel to rule them all
Jip J. Dekker committed
Something with clocks
Jip J. Dekker committed
Abstracted channels, much better now
Ben Brücker committed
First (semi) working version
Ben Brücker committed
Initial version of the naive model
Ben Brücker committed
Added some resources.
Jip J. Dekker committed
A Model!
Jip J. Dekker committed
Initial commit
Jip J. Dekker committed