tlaplus / tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- Repository stars
- 3,173All-time #18,558
- Fork
- 278
- Last push
- updated 3 days ago
- Repository created
- since 2016
About
Summarised by AI from the README; the original prevails
Author description: TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Basic listing based on official public information; functionality has not been independently evaluated.
- Platform
- Not verified
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
- Maintenance notes
- Not verified