Spin model checker open sourced under 3-clause BSD #1 Post by thomaslee » Sat, Jan 02, 2016, 2:32 AM UTC Spin model checker open sourced under 3-clause BSDspinroot.com