tangled
alpha
login
or
join now
dekker.one
/
TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
0
fork
atom
overview
issues
pulls
pipelines
commits
Author
Commit
Message
Date
Jip J. Dekker
e266878d
Spelling errors
main
12y ago
Jip J. Dekker
535a3394
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
12y ago
Jip J. Dekker
45f145ed
Some last changes
12y ago
Ben Brücker
ca93181c
And another better screenshot
12y ago
Ben Brücker
7e66b151
Better screenshot
12y ago
Ben Brücker
2d7eef99
Bit cleaner without contractions
12y ago
Ben Brücker
2e4b27b5
Some corrections in the english
12y ago
Ben Brücker
7a296fb7
Bit more conclusion
12y ago
Ben Brücker
f98d9043
Added screenshot and text for simul connect
(Better screenshot will follow)
12y ago
Ben Brücker
16819e73
Simultaneous connect, and issues described
12y ago
Jip J. Dekker
96383d72
Added proof of the non simultanious connect
12y ago
Jip J. Dekker
a63ec36c
Added the verifier picture
12y ago
Jip J. Dekker
dcf1d08e
Added Abstract
12y ago
Jip J. Dekker
450dc4ff
Basic Query verification things.
12y ago
Jip J. Dekker
887c7fcf
Perfected the fourth query
12y ago
Jip J. Dekker
527ccfa6
Removed faulty query
12y ago
Jip J. Dekker
6f2e44c6
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
Conflicts:
Model/model.xml
12y ago
Jip J. Dekker
68392873
Changed the model to remove old transmissions from the network
12y ago
Ben Brücker
22e7cee8
My section of the report is now reasonably complete
12y ago
Ben Brücker
5bcf2eba
Changed the screenshots a little
12y ago
Ben Brücker
48de0105
Changed TCP segment to TCP packet
12y ago
Jip J. Dekker
18755ceb
Added the query from frits
12y ago
Ben Brücker
0d1cd6f2
Changed the template
12y ago
Jip J. Dekker
6600292b
Added an example and the sections of the report.
12y ago
Ben Brücker
d61b2e84
Initial commit of the report
12y ago
Jip Dekker
08c90f93
Added screenshots of the models.
12y ago
Jip Dekker
7ebe31eb
Host rename and uncomplete query (mailed Frits)
12y ago
Jip Dekker
95be908e
Select and simplification
12y ago
Ben Brücker
eeffc10d
Updated sequence number stuff
12y ago
Jip Dekker
cedf077c
Soem work!
12y ago
Jip Dekker
ae7db80d
Added all variables for real sequence numbers
12y ago
Jip Dekker
f5eb2660
Very meta!
12y ago
Jip Dekker
ce9ac9ea
Changed from packets to segments
12y ago
Jip J. Dekker
dfd29070
Stylistic changes
12y ago
Ben Brücker
89c58716
Extra state kunnen verwijderen door extra variabelen te gebruiken
12y ago
Jip J. Dekker
eb7bf009
We changed something
12y ago
Jip J. Dekker
6b96f804
Twee paketten.
12y ago
Jip J. Dekker
54705ef7
Seems finished
12y ago
Jip J. Dekker
48402dab
One channel to rule them all
12y ago
Jip J. Dekker
e48e27c9
Something with clocks
12y ago
Ben Brücker
a0282f7c
Abstracted channels, much better now
12y ago
Ben Brücker
3f2536df
First (semi) working version
12y ago
Ben Brücker
e7caabe0
Initial version of the naive model
12y ago
Jip J. Dekker
a3662cb1
Added some resources.
12y ago
Jip J. Dekker
b7ee2dd0
A Model!
12y ago
Jip J. Dekker
177b453d
Initial commit
12y ago
Spelling errors
main
e266878d
Jip J. Dekker
12y
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
535a3394
Jip J. Dekker
12y
Some last changes
45f145ed
Jip J. Dekker
12y
And another better screenshot
ca93181c
Ben Brücker
12y
Better screenshot
7e66b151
Ben Brücker
12y
Bit cleaner without contractions
2d7eef99
Ben Brücker
12y
Some corrections in the english
2e4b27b5
Ben Brücker
12y
Bit more conclusion
7a296fb7
Ben Brücker
12y
Added screenshot and text for simul connect
(Better screenshot will follow)
f98d9043
Ben Brücker
12y
Simultaneous connect, and issues described
16819e73
Ben Brücker
12y
Added proof of the non simultanious connect
96383d72
Jip J. Dekker
12y
Added the verifier picture
a63ec36c
Jip J. Dekker
12y
Added Abstract
dcf1d08e
Jip J. Dekker
12y
Basic Query verification things.
450dc4ff
Jip J. Dekker
12y
Perfected the fourth query
887c7fcf
Jip J. Dekker
12y
Removed faulty query
527ccfa6
Jip J. Dekker
12y
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
Conflicts:
Model/model.xml
6f2e44c6
Jip J. Dekker
12y
Changed the model to remove old transmissions from the network
68392873
Jip J. Dekker
12y
My section of the report is now reasonably complete
22e7cee8
Ben Brücker
12y
Changed the screenshots a little
5bcf2eba
Ben Brücker
12y
Changed TCP segment to TCP packet
48de0105
Ben Brücker
12y
Added the query from frits
18755ceb
Jip J. Dekker
12y
Changed the template
0d1cd6f2
Ben Brücker
12y
Added an example and the sections of the report.
6600292b
Jip J. Dekker
12y
Initial commit of the report
d61b2e84
Ben Brücker
12y
Added screenshots of the models.
08c90f93
Jip Dekker
12y
Host rename and uncomplete query (mailed Frits)
7ebe31eb
Jip Dekker
12y
Select and simplification
95be908e
Jip Dekker
12y
Updated sequence number stuff
eeffc10d
Ben Brücker
12y
Soem work!
cedf077c
Jip Dekker
12y
Added all variables for real sequence numbers
ae7db80d
Jip Dekker
12y
Very meta!
f5eb2660
Jip Dekker
12y
Changed from packets to segments
ce9ac9ea
Jip Dekker
12y
Stylistic changes
dfd29070
Jip J. Dekker
12y
Extra state kunnen verwijderen door extra variabelen te gebruiken
89c58716
Ben Brücker
12y
We changed something
eb7bf009
Jip J. Dekker
12y
Twee paketten.
6b96f804
Jip J. Dekker
12y
Seems finished
54705ef7
Jip J. Dekker
12y
One channel to rule them all
48402dab
Jip J. Dekker
12y
Something with clocks
e48e27c9
Jip J. Dekker
12y
Abstracted channels, much better now
a0282f7c
Ben Brücker
12y
First (semi) working version
3f2536df
Ben Brücker
12y
Initial version of the naive model
e7caabe0
Ben Brücker
12y
Added some resources.
a3662cb1
Jip J. Dekker
12y
A Model!
b7ee2dd0
Jip J. Dekker
12y
Initial commit
177b453d
Jip J. Dekker
12y
dekker.one