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.