jb567/tla-go-back-n
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
# TLA Verification of the TCP Go Back N protocol This is a formal verification of the Go Back N ARQ Protocol using TLA+ ## See Also - [RFC 3366 - Advice to link designers on link Automatic Repeat reQuest (ARQ)](https://www.rfc-editor.org/rfc/rfc3366.txt) - [RFC 813 - Window And Acknowledgement Strategy In TCP](https://tools.ietf.org/html/rfc813)