saeki-masaki/earthquake

A framework of implementation level distributed system model checkers

GoApache-2.0