Nie wieder Absturz
Wie Prüfprogramme Computerabstürze verhindern sollen
Der Bildschirm ist blau, nichts geht mehr: Computerabstürze auf dem Schreibtisch sind bestenfalls ärgerlich - in Autos und Flugzeugen können sie sogar sehr gefährlich werden. Informatiker um Helmut Veith von der TU Wien sagen dem Absturz nun den Kampf mit logischer Gründlichkeit an. Anstatt wie bisher üblich, Software bei der Anwendung zu testen, verfolgen Veith und Kollegen einen neuen Ansatz: Sie durchleuchten die Programme bereits im Vorhinein - und zwar mit Hilfe von Prüfprogrammen, die beweisen: Diese Software läuft fehlerlos.
Mehr dazu in science.ORF.at