Ein kompakter Leitfaden, der modellbasierte Softwareentwicklung mit formaler Verifikation verbindet und die B‑Methode aus einer neuen Perspektive beleuchtet – von theoretischen Grundlagen bis zu praxisnahen Beispielen, die Fehler frühzeitig aufdecken.