https://github.com/ligurio/specs
Formal specifications
https://github.com/ligurio/specs
alloy promela spin tla-plus
Last synced: 5 months ago
JSON representation
Formal specifications
- Host: GitHub
- URL: https://github.com/ligurio/specs
- Owner: ligurio
- Created: 2022-02-07T11:06:37.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2024-01-09T11:18:42.000Z (over 2 years ago)
- Last Synced: 2025-04-05T01:44:36.973Z (about 1 year ago)
- Topics: alloy, promela, spin, tla-plus
- Language: Promela
- Homepage:
- Size: 0 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: