Sichere Software

Semester: 
Modul: 
CS3250-KP08
Assistants: 

+++ The first lecture takes place on Tuesday, October 15! +++

+++ Die erste Vorlesung findet am Dienstag, den 15. Oktober statt! +++

Link zu Moodle

Die Vorlesung wird überwiegend auf Deutsch gehalten werden, außer es besteht Bedarf nach Englisch durch einige Teilnehmer(innen). Die Veranstaltung besteht aus Vorlesung und Übung. Die Vorlesung findet dienstags um 16:15 Uhr in Seminarraum C4-S01 und freitags um 14:15 in AM-4 statt. Für die Übung gibt es zwei Slots; diese finden donnerstags von 08:30-10:00 Uhr im ISP-Besprechungsraum 108 (Geb. 64, 1. Stockwerk) sowie donnerstags von 10:15-11:45 Uhr im Seminarraum Hilbert statt.


Lehrinhalte:

    Maßnahmen zur Verbesserung der Softwaresicherheit
    Definition zentraler Techniken wie Statische Analyse, Model Checking, Testen, Runtime Verification
    Verfahren zur Programmanalyse
    Verwendung und Funktionsweise von Model Checkern
    Testverfahren
    Sicherung durch Runtime Verification
    Anwendungen der Techniken
    Theorembeweisen
    Werkzeuge


Setzt voraus:

    Software Engineering (CS2300-KP06, CS2300SJ14)
    Einführung in die Logik (CS1002-KP04, CS1002)
    Theoretische Informatik (CS2000-KP08, CS2000)