-
Notifications
You must be signed in to change notification settings - Fork 1
A TLA+ verification of the Go-Back-N ARQ protocol
License
jb567/tla-go-back-n
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | 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)
About
A TLA+ verification of the Go-Back-N ARQ protocol
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published