In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung, um die Korrektheit von Software nachzuweisen. Quelle: https://www.heise.de/blog/Podcast-Software-Testing-Korrektheit-durch-formale-Methoden-10015543.html?wt_mc=rss.red.ho.ho.rdf.beitrag.beitrag