Handbook of Model Checking
Modelcheckingisacomputer-assistedmethodfortheanalysisofdynamicalsystemsthatcanbemodeledbystate-transitionsystems.Drawingfromresearchtraditionsinmathematicallogic,programminglanguages,hardwaredesign,andtheoreticalcomputerscience,modelcheckingisnowwidelyusedfortheverificationofhardwareands
下载地址
用户评论
