184.733 Formal Methods for Concurrent and Distributed Systems Abgesagt
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2013S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Obtain understanding of different methods that allow to use tools to
verify the correctness of large scale concurrent and distributed
systems.

Inhalt der Lehrveranstaltung

Using examples from the scientific literature, we discuss several
approaches to verification of systems that are parametrized in the
number of processes. Techniques discussed include network
decomposition and counter abstraction for concurrent systems, and the
CMP method that has been used for the verification of cache coherence
protocols.

Weitere Informationen

preliminary discussion on 11.03.2013; 16:00c.t., Seminar room von Neumann

ECTS-Breakdown (3 ECTS):

————————–
24 hours: in class
20 hours: exercises
29 hours: preparation for presentation
2 hours: presentation
————————–
75 hours: total
————————–

Vortragende Personen

Institut

Leistungsnachweis

assessment of exercises and student presentations

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

You do not need a certificate for any of the preceding courses, but we will expect you to be familiar with some of the concepts taught in these courses, e.g. temporal logic, basic understanding of distributed algorithms, and proof techniques.

Vorausgehende Lehrveranstaltungen

Sprache

Englisch