Der Band dokumentiert die Erkenntnisse der 13. International Haifa Verification Conference, präsentiert aktuelle Forschung zu Verifikationsalgorithmen, Teststrategien und Tool‑Entwicklungen für Hardware und Software in kompakter, praxisorientierter Form.