Ein Fachbuch, das die neuesten Erkenntnisse aus der achten Haifa-Verifikationskonferenz 2012 präsentiert; es beleuchtet innovative Testmethoden, Modellprüfungen und praktische Ansätze zur Fehlervermeidung in komplexen Hardwaredesigns.