85 lines
2.4 KiB
TeX
85 lines
2.4 KiB
TeX
\documentclass[twocolumn]{article}
|
|
% Fonts and typesetting settings
|
|
\usepackage[sc]{mathpazo}
|
|
\usepackage[T1]{fontenc}
|
|
\linespread{1.05} % Palatino needs more space between lines
|
|
\usepackage{microtype}
|
|
% Page layout
|
|
\usepackage[hmarginratio=1:1,top=32mm,columnsep=20pt]{geometry}
|
|
\usepackage[font=it]{caption}
|
|
\usepackage{paralist}
|
|
% Lettrines
|
|
\usepackage{lettrine}
|
|
% Abstract
|
|
\usepackage{abstract}
|
|
\renewcommand{\abstractnamefont}{\normalfont\bfseries}
|
|
\renewcommand{\abstracttextfont}{\normalfont\small\itshape}
|
|
% Titling (section/subsection)
|
|
\usepackage{titlesec}
|
|
\renewcommand\thesection{\Roman{section}}
|
|
\titleformat{\section}[block]{\large\scshape\centering}{\thesection.}{1em}{}
|
|
% Math Packages
|
|
\usepackage{amsmath}
|
|
\usepackage{amsfonts}
|
|
\usepackage{amssymb}
|
|
\newcommand{\xor}{\oplus}
|
|
% Header/footer
|
|
\usepackage{fancyhdr}
|
|
\pagestyle{fancy}
|
|
\fancyhead{}
|
|
\fancyfoot{}
|
|
\fancyhead[C]{Jip Dekker and Ben Br\"ucker $\bullet$ GDN Final Assignment}
|
|
%including sourcecode in text
|
|
\usepackage{verbatim}
|
|
|
|
% ------
|
|
% Clickable URLs (optional)
|
|
\usepackage{hyperref}
|
|
% ------
|
|
% Maketitle metadata
|
|
\title{\vspace{-15mm}%
|
|
\fontsize{24pt}{10pt}\selectfont
|
|
\textbf{Model checking of the TCP 3-way handshake}
|
|
}
|
|
\author{%
|
|
\large
|
|
\textsc{Jip Dekker} \\[2mm]
|
|
\normalsize Radboud University Nijmegen \\
|
|
\normalsize 4122100
|
|
\vspace{-5mm}
|
|
\and
|
|
\large
|
|
\textsc{Ben Br\"ucker} \\[2mm]
|
|
\normalsize Radboud University Nijmegen \\
|
|
\normalsize 0413291
|
|
\vspace{-5mm}
|
|
}
|
|
\date{}
|
|
\bibliographystyle{ieeetran}
|
|
\usepackage[pdftex]{graphicx}
|
|
%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
|
|
\begin{document}
|
|
|
|
\twocolumn[\begin{@twocolumnfalse}
|
|
\maketitle
|
|
\begin{abstract}
|
|
\noindent Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract Abstract
|
|
\end{abstract}
|
|
\end{@twocolumnfalse}]
|
|
|
|
\thispagestyle{fancy}
|
|
|
|
\lettrine[nindent=0em,lines=3]{I} ntroduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction Introduction .
|
|
|
|
\section*{Modeling the TCP handshake}
|
|
We will now discuss how we modeled the TCP handshake of rfc793 as an Uppaal model.
|
|
|
|
\section*{Model checking and verification}
|
|
|
|
\section*{Conclusions}
|
|
|
|
|
|
|
|
\end{document} |