Spin: verification tool of multi-threaded program that can compile to Cspinroot.com2 points·vmorgulis··0 commentsOpen articleSaveView on HN