184.733 Formal Methods for Concurrent and Distributed Systems Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2013S, VU, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

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

Subject of course

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

Additional information


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



Examination modalities

assessment of exercises and student presentations

Course registration

Not necessary


Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective


No lecture notes are available.

Previous knowledge

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.

Preceding courses