| Lerninhalte |
Computer sind heutzutage aus unserem Alltag nicht mehr wegzudenken - ob wir auf Facebook surfen, YouTube-Videos ansehen, Bankgeschäfte erledigen oder verreisen.
Flugzeuge verwenden Software, die Piloten unterstützt und im Ernstfall sicher stellt, dass schwere Schäden verhindert werden. Selbst in Autos wird immer intelligentere Software eingesetzt, die große Teile des Fahrens übernimmt und so in der Zukunft autonomes Fahren ermöglichen soll.
Durch diese immer größer werdende Abhängigkeit von Computern und deren Software wächst jedoch auch die Bedrohung durch Softwarefehler:
- Wie stelle ich sicher, dass ein autonomes Auto nicht plötzlich abbremst?
- Wie garantiert man, dass das Flugzeug, mit dem ich fliege, nicht abstürzt?
Verifizierung ist ein Teilgebiet der Informatik, dass sich mit genau diesen Fragestellungen beschäftigt. Ziel von Verifizierung ist es, zum einen zu überprüfen, ob bestimmte Fehler im Computer nicht auftreten können, und zum anderen möglichst viele Fehler frühzeitig zu entdecken. In dieser zweiteiligen Vortragsreihe gebe ich Ihnen einen Überblick, wo Verifizierung im Alltag relevant ist und erkläre die Techniken und Ziele der Verifizierung von Computerprogrammen.
Anmeldung per Internet unter: www.uni-saarland.de/zell unbedingt erforderlich, dort finden Sie das Anmeldeformular Gasthörer |
