podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Software Testing & Qualität - Testautomatisierung, KI & Agilität Podcast
  4. Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel
In der neuesten Episode des Software Testing Podcasts feiern wir
die World Quality Week. Ich spreche mit mit Lars und Bianca
darüber, wie man Fehlerfreiheit in Software mathematisch beweisen
kann und welche Tools dabei helfen. Bianca erklärt uns anhand von
Beispielen aus der Finanz- und Automobilbranche, warum bestimmte
Systeme absolute Fehlerfreiheit benötigen. Lars ergänzt das
Gespräch mit Einblicken in formale Methoden und wie sie in der
Praxis angewendet werden. Ein besonders interessantes Thema war,
wie KI uns bei der Beweisführung unterstützen kann.

Weitere Episoden

Wie ein Kinderspielzeug Tester-Meetings unter Kontrolle bringt - Andrea Kränzlein

Wie ein Kinderspielzeug Tester-Meetings unter Kontrolle bringt - Andrea Kränzlein

27 Minuten
vor 2 Tagen
Quality Sprint: Wie ein Workshop Qualitätsprobleme löst - Pia Wiedermayer, Roman Kirchmeier

Quality Sprint: Wie ein Workshop Qualitätsprobleme löst - Pia Wiedermayer, Roman Kirchmeier

26 Minuten
vor 1 Woche
Warum vollständige Coverage keine Fehlerfreiheit garantiert - Roger Butenuth

Warum vollständige Coverage keine Fehlerfreiheit garantiert - Roger Butenuth

20 Minuten
vor 2 Wochen
KI als Tester: So funktioniert LLM-as-Judge - Anupam Krishnamurthy

KI als Tester: So funktioniert LLM-as-Judge - Anupam Krishnamurthy

22 Minuten
vor 3 Wochen
Was Bakterien besser machen als dein Scrum-Team - Anna Melbinger

Was Bakterien besser machen als dein Scrum-Team - Anna Melbinger

19 Minuten
vor 4 Wochen
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz