GitHub - stateright/stateright: A model checker for implemen

A model checker for implementing distributed systems. - stateright/stateright

Related Keywords

Jonathan Nadal , Steven Sanderson , , Distributed Systems With Stateright , Stateright Discord , Single Decree Paxos , Stateright Explorer , ஸ்டீவன் சாண்டர்சன் ,