In der Episode diskutieren Eberhard Wolff und Lars Hupel uber den gewinnbringenden Einsatz formaler Methoden im Software-Architektur-Alltag.