Technische Universität Ilmenau

Verifikation - Modultafeln of TU Ilmenau

The Modultafeln have a pure informational character. The legally binding information can be found in the corresponding Studienplan and Modulhandbuch, which are served on the pages of the course offers. Please also pay attention to this legal advice (german only).
Information on the room and time of planned courses can be found in the e-calendar of events. Courses and examinations that are not listed in the e-calendar of events are planned "by appointment". A list of the events concerned can be found here: courses, examinations.

subject properties Verifikation in major Bachelor Informatik 2013
subject number101182
examination number2200470
departmentDepartment of Computer Science and Automation
ID of group 2241 (Automata and Logics Group)
subject leaderProf. Dr. Dietrich Kuske
term Sommersemester
languageDeutsch
credit points5
on-campus program (h)34
self-study (h)116
Obligationobligatory elective
examoral examination performance, 20 minutes
details of the certificate
Signup details for alternative examinations
maximum number of participants
previous knowledge and experience

endliche Automaten (vgl. z. B. Automaten, Sprachen und Komplexität), Aussagen- und Prädikatenlogik (vgl. z. B. Logik und Logikprogrammierung)

learning outcome

Die Studenten kennen die Verfahren des Model Checkings mittels temporaler Logiken LTL, CTL und CTL*. Sie kennen die Beschränkungen dieser Logiken bzgl. Ausdrucksstärke und Resourcenverbrauch der Entscheidungsverfahren. Sie können ähnliche temporale Logiken bzgl. dieser Kriterien bewerten.

content

LTL, CTL und CTL* für endliche Kripkestrukturen, OBDDs, LTL für Kellersysteme

media of instruction

Tafel

literature / references

Clark, Grumberg, Peled: Model Checking, MIT Press 2000.

 

Gabbay, Hodkinson, Reynolds: Temporal Logic, Ox. Univ. Press 1994.

 

Emerson: Temporal und Modal Logic. In: J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, Chapter 16, Amsterdam 1990.

evaluation of teaching

Pflichtevaluation:

 

Freiwillige Evaluation:

WS 2016/17 (Übung)