stateright / stateright

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

Related projects

Alternatives and complementary repositories for stateright