Spin model checker open sourced under 3-clause BSD

Spin model checker open sourced under 3-clause BSD | Better HN

Spin model checker open sourced under 3-clause BSD (opens in new tab)