- TCP/IP handshake modeled in TLA+ for an environment with multiple clients and a single server.
- Can be exhaustively checked in TLA+ toolbox, which found 2000 distinct states and 13000 states for a system with 4 clients.
- Successfully used to catch bugs in the design stage itself.
-
Notifications
You must be signed in to change notification settings - Fork 0
VedantPimpley/HandshakeSpec
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
TLA+ specification of a TCP/IP 3-way handshake in multi-client environment.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published