https://github.com/konnov/apalache-examples
Examples of efficiently using Apalache
https://github.com/konnov/apalache-examples
apalache examples modelchecking tla tlaplus
Last synced: about 1 month ago
JSON representation
Examples of efficiently using Apalache
- Host: GitHub
- URL: https://github.com/konnov/apalache-examples
- Owner: konnov
- License: mit
- Created: 2024-08-16T10:01:44.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-11-25T13:51:50.000Z (4 months ago)
- Last Synced: 2025-11-28T19:37:57.704Z (4 months ago)
- Topics: apalache, examples, modelchecking, tla, tlaplus
- Language: TLA
- Homepage:
- Size: 1.43 MB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE