The Spin Model Checker

TheSPINModelCheckerisusedforbothteachingsoftwareverificationtechniques,andforvalidatinglargescaleapplications.Thegrowingnumberofusershascreatedaneedforamorecomprehensiveuserguideandastandardreferencemanualthatdescribesthemostrecentversionofthetool.Thisbookfillsthatneed.SPINisusedinover40countries.TheofficalSPINwebsite,spinroot.comreceivesbetween2500and3000hitsperday.Ithasbeenestimatedthatuptothree-quartersofthe$400billionspentannuallytohireprogrammersintheUnitedStatesisultimatelyspentondebugging.