Radio and PodcastRadio and PodcastLive Radio & Podcasts
Wozu formale Methoden? mit Lars Hupel artwork
Technology

Wozu formale Methoden? mit Lars Hupel

SoftwareArchitektur im Stream by Eberhard Wolff

Apr 28, 2026Technology

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...

About This Episode

Wozu formale Methoden? mit Lars Hupel is an episode from SoftwareArchitektur im Stream by Eberhard Wolff. Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren müssen, können formale Methoden diese Eigenschaften beweisen - ähnlich...

Podcast

This episode belongs to SoftwareArchitektur im Stream.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Apr 28, 2026, audio available.

Related Episodes

Continue listening to more episodes from SoftwareArchitektur im Stream.