from Hacker News

Spin model checker open sourced under 3-clause BSD

by thomaslee on 1/2/16, 2:32 AM with 0 comments