spin a model checker
Spinisapopularopen-sourcesoftwaretool,usedbythousandsofpeopleworldwide,thatcanbeusedfortheformalverificationofdistributedsoftwaresystems.ThetoolwasdevelopedatBellLabsintheoriginalUnixgroupoftheComputingSciencesResearchCenter,startingin1980.Thesoftwareh
下载地址
用户评论
