MA-INF 3318 - Seminar Verification of Complex Systems, Winter Term 2014/15

For the instalment of this course in Winter Term 2015/16, see here.

Lecturers:

Dr. Michael Gerz (FKIE)
Dr. Marc Spielmann (FKIE)
Jun.-Prof. Dr. Janis Voigtländer (Uni Bonn)

Organizational Notes:

The seminar belongs to the track Information and Communication Management of the Master Programme.
Weekly meetings (not necessarily every week) are planned for Mondays, 12:15-13:45, in Römerstr. 164, room A121.
The assignment of topics to students is now listed in eCampus: https://ecampus.uni-bonn.de/goto_ecampus_crs_499591.html

About the Seminar:

The seminar is jointly organized by researchers from the Fraunhofer-Institut für Kommunikation, Informationsverarbeitung und Ergonomie (FKIE) and the University of Bonn. The focus is on techniques for analyzing the correctness of complex systems such as software. Both theoretical foundations for such techniques and consideration of practical tools are of interest. Specific themes of interest include (a selection will be made):

Specification formalisms and languages
Decision problems
Modelling desired properties of a system
Model checking
Theorem proving
Static (flow) analysis, abstract interpretation
Code analysis using heuristics
Testing (approaches, frameworks, coverage criteria)
Runtime verification (instrumentation, monitoring)
Applications and pragmatics of verification

The aim of the seminar is that students develop profound knowledge about a given subject by studying the literature, understanding scientific publications, presenting the results in written and oral form, and discussing with fellow students. Each student (max. 10) will be given literature on an assigned topic, will read that and possibly further literature selected on their own, and after self-study and discussion with a supervisor (from among the lecturers) will write a seminar essay on the topic (about 10 pages). In addition, each student will give a talk on the assigned topic (about 40 minutes, plus discussion). Both the essay and the talk will be graded.

Prerequisites:

The seminar does not depend on a specific previous lecture. A general command of logic and mathematical formalisms is expected.