Baumansicht ein

Brotkrumen-Navigation

Symbol Kurs

Proseminar Algorithmische Verifikation

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 External Link orientieren, und die von den an dieser Competition teilnehmenden Werkzeuge eingesetzen Methoden im Detail betrachten.

Veranstaltungsdaten

Dozent(en)
Carsten Sinz
Abschluß
Bachelor
SWS
2
Credits
3

Zusammenfassung

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 External Link orientieren, und die von den an dieser Competition teilnehmenden Werkzeuge eingesetzen Methoden im Detail betrachten.

Allgemein

Sprache
Deutsch

Verfügbarkeit

Zugriff
Unbegrenzt – wenn online geschaltet
Aufnahmeverfahren
Wenn Sie das Kurspasswort von einem Kursadministrator erhalten haben, können Sie in diesen Kurs beitreten.
Zeitraum für Beitritte
Unbegrenzt

Für Kursadministratoren freigegebene Daten

Daten des Persönlichen Profils
Benutzername
Vorname
Nachname
E-Mail
Matrikelnummer

Zusätzliche Informationen

Objekt-ID
1555278
Link zu dieser Seite
Erstellt am
10. Apr 2020, 02:27