Podcast Software Testing: Korrektheit durch formale Methoden

from heise online News on 2024-11-15 07:06 (#6S817)

In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel uber mathematische Beweisfuhrung, um die Korrektheit von Software nachzuweisen.

External Content

Source	RSS or Atom Feed
Feed Location	http://www.heise.de/newsticker/heise.rdf
Feed Title	heise online News
Feed Link	https://www.heise.de/

0 comments