Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group


Networks and Processes (WS 2007/08)

Lecturer: Dirk Nowotka

The Exam results are out and can be found on the doors of the rooms 1.156 and 1.353. The corrections can be inspected in 1.168 on March 13 at 2pm.

Thu 14:00-15:30 in Room V47.05
Thu 15:45-17:15 (every two weeks) in Room V47.05

Thu 15:45-17:15 (every two weeks) in Room V47.05

Thu Feb 14th starting at 2pm in Room V47.05
(two hand-written sheets of A4 paper with personal notes are allowed material)

Intended Audience:
Students of the Master of Science program Information Technology (INFOTECH),
students of the "Diplom-Studiengang Elektrotechnik und Informationstechnik"
(under the German title "Netze und Prozesse", the lectures are identical),
students of Informatik or Softwaretechnik (Vertiefungslinie Sichere und Zuverlässige Softwaresysteme)

Contents (short version):
Modeling and analysis of parallel and distributed systems. Specifying system properties with temporal logics and using model checking to verify them. Basics of computer aided verification algorithms. Petri nets as system description formalisms.

Slides: PDF file, LaTeX sources

Exercise Sheets:

The PEP tool (University of Oldenburg)
Spin (Bell Labs) -- short introduction to Promela (PDF) and models used in the lecture (ZIP)
DDcal (University of Colorado) -- a BDD "calculator"
SMV (CMU) -- some tool demonstration slides (PDF) from last year and a couple of examples (tar.gz)

The problems (of the written exam on 14.2.2008)
Sample solutions