stateright

stateright

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
1.8k Stars
62 Forks
22 Watchers

Repositories (1)

stateright stateright/stateright Rust

A model checker for implementing distributed systems.

1.8k