spin a model checker

Spinisapopularopen-sourcesoftwaretool,usedbythousandsofpeopleworldwide,thatcanbeusedfortheformalverificationofdistributedsoftwaresystems.ThetoolwasdevelopedatBellLabsintheoriginalUnixgroupoftheComputingSciencesResearchCenter,startingin1980.Thesoftwareh