stateright / stateright

A model checker for implementing distributed systems.
1,572Updated last month

Related projects

Alternatives and complementary repositories for stateright