https://github.com/tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
https://github.com/tlaplus/tlaplus

algorithms high-performance java mit-license model-checking specifications tla verification

Last synced: 21 days ago
JSON representation

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

• Host: GitHub
• URL: https://github.com/tlaplus/tlaplus
• Owner: tlaplus
• License: mit
• Created: 2016-02-02T08:48:27.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-05-30T16:38:35.000Z (22 days ago)
• Last Synced: 2024-05-30T19:30:36.364Z (21 days ago)
• Topics: algorithms, high-performance, java, mit-license, model-checking, specifications, tla, verification
• Language: Java
• Homepage: https://lamport.azurewebsites.net/tla/tla.html
• Size: 136 MB
• Stars: 2,232
• Watchers: 54
• Forks: 185
• Open Issues: 263
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Lists

• awesome-stars - tlaplus/tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. (Java)
• awesome-stars - tlaplus/tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. (Java)
• awesome - tlaplus/tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. (Java)
• awesome-stars - tlaplus
• my-awesome-github-stars - tlaplus/tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. (Java)
• awesome-stars - tlaplus/tlaplus - TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. (Java)