1Spin model checker open sourced under 3-clause BSD (opens in new tab)(spinroot.com)2thomaslee10y ago0