Ta上传的资源 (0)

Spinisapopularopen-sourcesoftwaretool,usedbythousandsofpeopleworldwide,thatcanbeusedfortheformalverificationofdistributedsoftwaresystems.Thetoolwasdev