Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
SPIN model checker
open-in-new
<p>SPIN is a general tool for verifying the correctness of <a href="/facts/Concurrency_(computer_science)/Ctnrrq4A">concurrent software</a> models in a rigorous and mostly automated fashion. It was written by <a href="/facts/Gerard_J._Holzmann/KaqyY0Vz">Gerard J. Holzmann</a> and others in the original <a href="/facts/Unix/0pNL2seI">Unix</a> group of the Computing Sciences Research Center at <a href="/facts/Bell_Labs/fKP5Gk0H">Bell Labs</a>, beginning in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field. </p>