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"

http://spinroot.com/