Hacker News new | past | comments | ask | show | jobs | submit | from login
Stateright: A model checker for implementing distributed systems (github.com/stateright)
133 points by yagizdegirmenci on June 6, 2021 | past | 24 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: