Ein kompakter Sammelband aus dem FMICS‑Workshop in Berlin, der theoretische Grundlagen zur formalen Verifikation kritischer Systeme mit praxisnahen Fallstudien verbindet und neue Werkzeuge für die Industrie vorstellt.