[an error occurred while processing this directive]
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

[an error occurred while processing this directive] englishicon
 

Networks and Processes (SS 2010)


Lecturer: Dirk Nowotka


The Exam results are out and can be found on the doors of the room 1.156. The corrections can be inspected by appointment until mid August.

Lectures:
Thu 14:00-15:30 in Room V38.04
Thu 15:45-17:15 (every other week) in Room V38.04

Exercises:
Thu 15:45-17:15 (every other week) in Room V38.04

No lecture on Thursday, May 6, due to sick leave.

Exam:
It takes place on tuesday July 27, 2010, and starts at 2pm in Room V38.02
(two hand-written sheets of A4 paper with personal notes are allowed material).
Old exam sheets together with example solutions can be found on the websites of Networks and Processes of the previous years.
Go to www.informatik.uni-stuttgart.de/fmi/szs/teaching/ and follow the links to previous winter terms. There you find the respective NP sites with previous exams published.

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:
Demo Exercise -- Sample solutions

Tools:
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)

Exam:
The problems (of the written exam on 27.7.2010)
Sample solutions