Spin model checker open sourced under 3-clause BSDspinroot.com2 points·thomaslee··0 commentsOpen articleSaveView on HN