Stateright: A model checker for implementing distributed systems

https://github.com/stateright/stateright

Stateright: A model checker for implementing distributed systems