Dekker1/TCP-setup-uppaal
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
46 Commits 1 Branch 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Jip J. Dekker e266878d98 Spelling errors
2014-02-04 22:45:57 +01:00
Model
Perfected the fourth query
2014-02-03 22:10:16 +01:00
Report
Spelling errors
2014-02-04 22:45:57 +01:00
Resources
Added an example and the sections of the report.
2014-01-23 12:15:21 +01:00
.gitignore
Added an example and the sections of the report.
2014-01-23 12:15:21 +01:00
README.md
Initial commit
2013-12-16 02:29:16 -08:00

README.md

TCP-setup-uppaal

An Uppaal analysis of the connection setup of the TCP protocol.

Description
An Uppaal analysis of the connection setup of the TCP protocol.
Readme 1.2 MiB
Languages
TeX 98.3%
q 1.7%