Wozu formale Methoden? mit Lars Hupel

SoftwareArchitektur im Stream by Eberhard Wolff

Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren müssen, können formale Methoden diese Eigenschaften beweisen - ähnlich wie bei einem mathematischen Beweis. In der Finanzbranche will man beispielsweise sic...View more