Dieses Sammelwerk der 10. Haifa Verification Conference beleuchtet neueste Ansätze zur Verifikation von Hardware‑ und Softwaresystemen, verbindet mathematische Modelle mit praktischen Testmethoden und bietet einen tiefen Einblick in aktuelle Forschungsfragen.