stateright 0.25.0

A model checker for implementing distributed systems.
Documentation
{
  "git": {
    "sha1": "41e84a9fea71aeac2887f25e855fff17181cc9c8"
  }
}