Project Group Model Checking / Komplexpraktikum - Winter Term 2009/10

Please note that the kick-off meeting was rescheduled for Oct 13th due to a clash with Prof. Holldoebler's welcome note.

Description:

This course offers advanced topics in the field of verification and model checking. Programming tasks solved during this course are in most cases taken out of our actual projects. At the end of the course the students are expected to give a short talk (30 min) about their work and their results for a discussion.

Prerequisites:

• Programming skills in C/C++ are beneficial, but not mandatory.
• A completed Model Checking lecture is recommended but not mandatory.

Module:

IT, SV

For diploma / bachelor students this course can be taken as a Komplexpraktikum.

SWS

(lecture/tutorial/practical): 0/0/4

Credit points:

6 Credit points (if this does not fit your needs ask us so we can change the amount of your work in the project group)

Subscription:

Kick-Off Meeting is on Wednesday, Oct 13th 2009, 10:00 AM in room N3027. Should someone not be able to meet at this time please contact Frank Ciesinski via email.