Ein kompakter Leitfaden aus der SEFM‑Konferenz 2015, der fortschrittliche Techniken des Software Engineerings mit formalen Methoden verbindet; bietet theoretische Grundlagen, praxisnahe Beispiele und kritische Diskussionen zur Zuverlässigkeit moderner Systeme.