Geeks
davidrusu
/
stateright
A model checker for implementing distributed systems.
Primary Language
Rust
MIT License
MIT
stateright Home Page
stateright GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
eemailme