Stateright: A model checker for implementing distributed systemsgithub.com/stateright133 pointsyagizdegirmenci5 years ago