15.11.2024 08:18 Uhr, Quelle: Heise

Podcast Software Testing: Korrektheit durch formale Methoden

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

Weiterlesen bei Heise