Handbook of Model Checking

Modelcheckingisacomputer-assistedmethodfortheanalysisofdynamicalsystemsthatcanbemodeledbystate-transitionsystems.Drawingfromresearchtraditionsinmathematicallogic,programminglanguages,hardwaredesign,andtheoreticalcomputerscience,modelcheckingisnowwidelyusedfortheverificationofhardwareands