dekker.one
An Uppaal analysis of the connection setup of the TCP protocol.
Initial commit of the report
+23
+22
Report/GDN.tex
+22
Report/GDN.tex
···
1
+
\documentclass[11pt,a4paper]{article}
2
+
\usepackage[utf8]{inputenc}
3
+
\usepackage[british]{babel}
4
+
\usepackage{amsmath}
5
+
\usepackage{amsfonts}
6
+
\usepackage{amssymb}
7
+
\usepackage{algpseudocode}
8
+
\usepackage{graphicx}
9
+
\author{Jip Dekker\\4122100 \and Ben Br\"ucker\\0413291}
10
+
\title{Model checking of the TCP 3-way handshake}
11
+
12
+
13
+
\begin{document}
14
+
\maketitle
15
+
16
+
\section*{Introduction}
17
+
18
+
19
+
\section*{Conclusions}
20
+
21
+
22
+
\end{document}