RCEpic
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- Owner
- tlaplus (organization)
- Stars
- Stars: 3,169
- Forks
- Forks: 278
- Language
- Java
- License
- MIT
- Created
- 2016
- Topics
- tlaspecificationsmodel-checkingverificationhigh-performancejavaalgorithmsmit-license
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by tlaplus
All 7 repos by tlaplus- tlaplus/ExamplesStars: 1,596TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/vscode-tlaplusStars: 441TypeScriptAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- tlaplus/tlapmStars: 138OCamlPrototype
- tlaplus/PlusPyStars: 120PythonPrototype
Nearby in Java
All Java repos- Skykai521/StickerCameraStars: 3,171JavaRC
- apache/curatorStars: 3,170JavaRC
- facebookarchive/network-connection-classStars: 3,169JavaRC
- java8/Java8InActionStars: 3,168JavaRC
- power721/alist-tvboxStars: 3,168JavaRC
- bilibili/boxingStars: 3,165JavaRC