https://github.com/ligurio/specs

Formal specifications
https://github.com/ligurio/specs

alloy promela spin tla-plus

Last synced: 7 days ago
JSON representation

Formal specifications

• Host: GitHub
• URL: https://github.com/ligurio/specs
• Owner: ligurio
• Created: 2022-02-07T11:06:37.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2024-01-09T11:18:42.000Z (12 months ago)
• Last Synced: 2024-10-30T15:09:08.563Z (about 2 months ago)
• Topics: alloy, promela, spin, tla-plus
• Language: Promela
• Homepage:
• Size: 0 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project