Stateright, a Rust model checker for distributed systems written in Rust

Stateright is a model checker for distributed systems. It is provided as a Rust library, and it allows you to verify systems implemented in … Read more

Similar