Topic outline
 
Formal Methods in Software Development (326.053, SS 2005)
Time: Thursday, 8:30-11:45
Room: KHG II
Start: March 10


Final Exam: the written exam will take place on Wednesday, October 12 , 17:15-18:45 in T211. No material is allowed, please do not forget your Kepler identity card.

Questions will focus on the theoretical background (Hoare calculus, predicate transformers, concurrency/model checking) and on small practical exercises (JML specifications, verifications of small code sniplets, modeling of and reasoning about small concurrent systems).

To take part in the course, you have to register in the KUSSS system.

Please also register in Moodle ("Login" at the upper right corner) such that you will receive per email all announcements that I post in the "News Forum". You may use the "Discussion Forum" for your own purpose.

Please note the changed lecture rooms (see the calendar and the announcement in the "Discussion Forum").

Forum News forum
Forum Discussion Forum
 
8
Additional Material

The password for this section will be handed out in class. It is strongly forbidden to forward this password to anyone not participating in the course.