Das Buch präsentiert die neuesten Erkenntnisse der 11. Haifa Verification Conference zu Verifikation und Testen von Hardware‑ und Softwaresystemen, kombiniert theoretische Grundlagen mit praxisnahen Fallstudien und innovativen Werkzeugen.