Ein Sammelband der zweiten Haifa-Verifikationskonferenz, der neueste Forschung zu Hardware‑ und Softwareprüfung zusammenfasst; bietet praxisnahe Fallstudien, theoretische Modelle und innovative Testmethoden für Fachleute.