LFU:online

Vertieftes Verständnis auf dem Gebiet der endlichen Automaten und der Logik; Studierende beherrschen die Konzepte und theoretischen Werkzeuge, die der rechnergestützten Verifikation zugrundeliegen im vollen Umfang und können diese auch gegebenenfalls eigenständig weiterentwickeln.

(deterministische, nichtdeterministische, alternierende) endliche Automaten; reguläre Ausdrücke; (schwache) monadische Prädikatenlogik zweiter Stufe; Presburger-Arithmetik; (alternierende) Büchi-Automaten; lineare temporale Logik

Schriftlich

Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.

Keine.

Der Kurs wird auf Englisch abgehalten.