AlphaUncommon
lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
- Owner
- lemmy (personal account)
- Stars
- Stars: 507
- Forks
- Forks: 22
- Language
- TLA
- License
- MIT
- Created
- 2019
- Topics
- tlaplusmodel-checkingjavafifofifo-queuespecificationtlapstla
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in TLA
All TLA repos- spacejam/tla-rustStars: 1,074TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- ongardie/raft.tlaStars: 528TLAAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- pingcap/tla-plusStars: 314TLAAlpha
- Apress/practical-tla-plusStars: 300TLAAlpha