commit 177b453dd38e718fac8fb02de0cd99afd4106151 Author: Jip J. Dekker Date: Mon Dec 16 02:29:16 2013 -0800 Initial commit diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..bbaaa01 --- /dev/null +++ b/.gitignore @@ -0,0 +1,32 @@ +*.acn +*.acr +*.alg +*.aux +*.bbl +*.blg +*.dvi +*.fdb_latexmk +*.glg +*.glo +*.gls +*.idx +*.ilg +*.ind +*.ist +*.lof +*.log +*.lot +*.maf +*.mtc +*.mtc0 +*.nav +*.nlo +*.out +*.pdfsync +*.ps +*.snm +*.synctex.gz +*.toc +*.vrb +*.xdy +*.tdo diff --git a/README.md b/README.md new file mode 100644 index 0000000..d627427 --- /dev/null +++ b/README.md @@ -0,0 +1,4 @@ +TCP-setup-uppaal +================ + +An Uppaal analysis of the connection setup of the TCP protocol.