https://github.com/isaac-defrain/stateright
Learning the stateright Rust model checker (https://github.com/stateright/stateright)
https://github.com/isaac-defrain/stateright
Last synced: 3 months ago
JSON representation
Learning the stateright Rust model checker (https://github.com/stateright/stateright)
- Host: GitHub
- URL: https://github.com/isaac-defrain/stateright
- Owner: Isaac-DeFrain
- Created: 2022-06-13T21:13:47.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2022-06-13T21:21:32.000Z (about 3 years ago)
- Last Synced: 2025-02-08T02:43:48.856Z (4 months ago)
- Language: Rust
- Size: 12.7 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0