Veröffentlichung der Beiträge zur 11. Internationalen Haifa Verification Conference, die aktuelle Forschung zu Verifikation und Testverfahren für Hardware‑ und Softwaresysteme zusammenfasst; bietet theoretische Grundlagen, praxisnahe Fallstudien und neueste Werkzeuge.