Ein praxisnahes Handbuch, das formale Ansätze zur Verifikation sicherheitskritischer Systeme aus dem FTSCS‑Workshop zusammenführt und konkrete Fallstudien für Entwickler und Forscher bietet.