Podcast Software Testing: Korrektheit durch formale Methoden

15.11.2024 08:18 Uhr, Quelle: Heise

In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel über mathematische Beweisführung, um die Korrektheit von Software nachzuweisen.