The Model Checker SPIN
SPINisanefficientverificationsystemformodelsofdistributedsoftwaresystems.Ithasbeenusedtodetectdesignerrorsinapplicationsrangingfromhigh-leveldescriptionsofdistributedalgorithmstodetailedcodeforcontrollingtelephoneexchanges.Thispapergivesanoverviewofthedesig
用户评论