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

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 ,ஸ்டீவன் சாண்டர்சன் ,