The Model Checker SPIN
SPINisanefficientverificationsystemformodelsofdistributedsoftwaresystems.Ithasbeenusedtodetectdesignerrorsinapplicationsrangingfromhigh-leveldescriptionsofdistributedalgorithmstodetailedcodeforcontrollingtelephoneexchanges.Thispapergivesanoverviewofthedesig
下载地址
用户评论
