Proseminar Algorithmische Verifikation
- type: Proseminar (PS)
- semester: SS 2020
-
time:
24.04.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
08.05.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
15.05.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
22.05.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
29.05.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
05.06.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
12.06.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
19.06.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
26.06.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
03.07.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
10.07.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
17.07.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
24.07.2020
09:45 - 11:15 wöchentlich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
- lecturer: Prof. Dr. Carsten Sinz
- sws: 2
- lv-no.: 2400108
Bemerkungen | Die Algorithmische Verifikation befasst sich mit vollautomatischen Verfahren, die es erlauben, die Korrektheit von Systemen und Software mathematisch exakt nachzuweisen. Die dabei entwickelten Methoden und Werkzeuge finden Anwendung in der Prüfung sicherheitskritischer System, z.B. in der Luftfahrt oder im Automobilbereich. In diesem Proseminar sollen Werkzeuge und Verfahren der Algorithmischen Verifikation vorgestellt werden. Dabei werden wir uns an den Competitions on Software Verification orientieren, und die von den an dieser Competition teilnehmenden Werkzeuge eingesetzen Methoden im Detail betrachten. Die Einführungsveranstaltung, auf der die Themen der Vorträge auch vorgestellt werden, findet am Freitag, den 24.04.2020 von 9:45-11:15 Uhr in Seminarraum 236 statt. |