https://github.com/mryndzionek/tlaplus_specs
Different TLA+ specifications, mostly for learning purposes
https://github.com/mryndzionek/tlaplus_specs
graphviz model-checking tla tla-specifications tlaplus
Last synced: 4 months ago
JSON representation
Different TLA+ specifications, mostly for learning purposes
- Host: GitHub
- URL: https://github.com/mryndzionek/tlaplus_specs
- Owner: mryndzionek
- Created: 2019-11-10T11:24:28.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-05-06T19:57:42.000Z (about 2 years ago)
- Last Synced: 2025-05-30T00:41:26.619Z (about 1 year ago)
- Topics: graphviz, model-checking, tla, tla-specifications, tlaplus
- Language: TLA
- Homepage:
- Size: 161 MB
- Stars: 32
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md