Seminar "Selected Topics in Logic and Verification"

Prof. Dr. Christel Baier
SWS: (0/0/2), in English

Description

This seminar covers multiple aspects of formal verification, in particular model checking and its related fields as automata theory, modelling of randomized or timed systems, and property specification in various logics. This seminar concentrates on current research papers or chapters of books related to formal verification, which the student should present.

Dates

The registration is closed now.

All registered students will be informed about the first meeting via email.

Prerequisites

The seminar addresses students that have profound knowledge in theoretical computer science and logics.

• For students of the Master or Diplom program Informatik, the material of the course “Formale Systeme” and “Theoretische Informatik und Logik” is required.
• The seminar is intended for students of the Master program Computational Logic in the second year of their studies that have successfully completed at least one of the following courses: “Model Checking” or “Advanced Logics”.

Examination

• a written summary of 5–10 pages
• and a presentation, approximately 30 minutes

Creditability

Master Informatik

• INF-AQUA: Allgemeine Qualifikation

Master Medieninformatik

• INF-AQUA: Allgemeine Qualifikation

Master Computational Logic

• MCL-PS: Presentation Skills

Diplom Informatik

• INF-D-940: Berufsspezifische Schlüsselqualifikation

Diplom Informatik (DPO 2004)

• INF-04-HS: Hauptseminar

Contact