GitHub repository: Cjen1/stateright
Description: A model checker for implementing distributed systems.