Ein praxisnahes Handbuch, das die theoretischen Grundlagen formaler Methoden mit konkreten Beispielen aus der Industrie verknüpft und zeigt, wie automatisierte Verifikation sicherheitskritische Systeme zuverlässig prüft.