Ahem? "Spin is a widely used open-source software verification tool"
and it's been around a long time
"The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980, and has been available freely since 1991"