https://github.com/hwayne/tla-graphing-demo
A demo of analyzing a TLA+ state graph
https://github.com/hwayne/tla-graphing-demo
Last synced: about 1 year ago
JSON representation
A demo of analyzing a TLA+ state graph
- Host: GitHub
- URL: https://github.com/hwayne/tla-graphing-demo
- Owner: hwayne
- Created: 2023-03-23T02:47:15.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2023-04-07T04:32:21.000Z (about 3 years ago)
- Last Synced: 2025-03-24T03:53:13.949Z (over 1 year ago)
- Language: Python
- Size: 678 KB
- Stars: 29
- Watchers: 4
- Forks: 0
- Open Issues: 0