Hacker News new | ask | show | jobs
Spin model checker open sourced under 3-clause BSD (spinroot.com)
2 points by thomaslee 3826 days ago