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 2005/06)


Lecturer: Stefan Schwoon
Tutor: Dejvuth Suwimonteerabuth

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

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

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:
The complete slides of the course are here (last modified February 16th, 2006): PDF file

Exercise Sheets:
Demo Exercise
Exercise Sheet 1 -- Reachability Graph
Exercise Sheet 2
Exercise Sheet 3
Exercise Sheet 4
Exercise Sheet 5
Exercise Sheet 6
Exercise Sheet 7

Tools:
The PEP tool (University of Oldenburg)
INA (HU Berlin)
Exorciser (ETH Zürich)
Spin (Bell Labs) -- PDF file with the tool demonstration slides and zip file with the files and scripts used
DDcal (University of Colorado)
- a BDD "calculator" SMV (CMU) -- PDF file some tool demonstration slides from last year and tar.gz file a couple of examples

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