Katastrophen in der IT und Software Verifikation

Diese Folge sprechen wir über bekannte Katastrophen aus der IT
wie den Absturz der Rakete Ariane 5 oder den Tag als große Teiles
des Internets nicht erreichbar waren. Wir haben außerdem einen
Gast eingeladen, der uns erklärt welche Möglichkeiten es gibt
Störungen in Software zu verhindern und beispielsweise das
fehlerfreie Laufen eines Atomkraftwerks zu sichern.