Dekker1/TCP-setup-uppaal
Archived
1
0
Fork 0
Code

Bit more conclusion

Browse Source
This commit is contained in:
Ben Brücker 2014-02-04 21:02:15 +01:00
parent f98d9043d6
commit 7a296fb732
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Report/GDN.tex
View File

@ -280,7 +280,7 @@ or Host1.SynSent) and Host2.Established)
\section{Conclusions}
In this report we have proven the correctness of the basic three-way handshake and the simultaneous connection set-up on a simplified model of the TCP handshake.
In this report we have proven the correctness of the basic three-way handshake and the simultaneous connection set-up on a simplified model of the TCP handshake. In order to check the model of a more realistic implementation of the TCP protocol, one has to add some missing parts, like the use of reset packets.
\end{document}