Ein Fachbuch aus der 10. Haifa Verification Conference, das innovative Ansätze zur Verifikation von Hard‑ und Softwaresystemen zusammenfasst, theoretische Modelle mit praxisnahen Testmethoden verbindet und aktuelle Forschungstrends beleuchtet.