# Wozu formale Methoden? mit Lars Hupel

Page: https://stenobird.com/podcast/software-architektur-im-stream-3090375/wozu-formale-methoden-mit-lars-hupel
Text version: https://stenobird.com/podcast/software-architektur-im-stream-3090375/wozu-formale-methoden-mit-lars-hupel.md
Podcast: [Software Architektur im Stream](https://stenobird.com/podcast/software-architektur-im-stream-3090375)
Published: 2026-04-28T04:03:00+00:00
Episode link: https://software-architektur.tv/2026/04/27/episode311.html
Audio file: https://1evriw.podcaster.de/software-architektur-im-stream/media/Wozu_formale_Methoden_mit_Lars_Hupel.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/software-architektur-im-stream-3090375/episodes/wozu-formale-methoden-mit-lars-hupel

## Resource

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 sicherstellen, dass nicht in den Systemen irgendwo Geld verschwindet. Welche Rolle spielen solche Methoden im Software-Architektur-Alltag und wie kann man sie gewinnbringend nutzen? Das diskutieren wir mit Dr. Lars Hupel, Chief Evangelist bei Giesecke+Devrient. Lars spricht beim iSAQB Software Architecture Forum. Mit dem Code SATV15SAF gibt es 15% Rabatt. https://conferences.isaqb.org/software-architecture-forum/

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/software-architektur-im-stream-3090375/episodes/wozu-formale-methoden-mit-lars-hupel/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/software-architektur-im-stream-3090375/wozu-formale-methoden-mit-lars-hupel.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.