Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2013

Schedule

Places and Times

We have lectures every week on Tuesdays and Thursday between 13:15 and 15:00.

There are exercise classes on Fridays between 13:15 and 15:00. The exercises won't necessarily last two hours, but we reserved a larger slot, just in case.

The schedule shown below is subject to change. Copies of the slides will be provided shortly after each lecture.

If you have any general questions regarding the course, please send them to our Google group (instructions for accessing the group are here).

Welcome to the first lecture on Tuesday, September 3, at 13:15 in room EA.

Teachers: WA = Wolfgang Ahrendt RE = Ramona Enache BvD =Bart van Delft MJ =Moa Johansson LK =Laura Kovács

Lecture
Tuesdays 13:15-15:00
EA
Lecture
Thursday 13:15-15:00
EA
Exercises
Fridays 13:15-15:00
EA
1. W 36
2/9 - 6/9
Course Introduction (WA) Promela Introduction (WA) No Exercises
2. W 37
9/9 - 13/9
SPIN Introduction
Verifying Assertions
(WA)
Modeling Concurrency (WA) Promela (RE)
3. W 38
16/9 - 20/9
Modeling Distribution (WA) Propositional and Temporal Logic (WA) Channels, LTL and Model Checking (BvD)
4. W 39
23/9 - 27/9
Temporal Model Checking (WA) First-Order Logic (WA) Model Checking with SPIN (BvD)
01/10 Deadline Lab Assignment Promela/SPIN
5. W 40
30/9 - 4/10
Java Modeling Language (MJ) Dynamic Logic part 1 (WA) First-Order + JML (RE)
6. W 41
7/10 - 11/10
No Lecture Dynamic Logic part 2 (LK) Dynamic Logic (BvD)
7. W 42
14/10 - 18/10
Proof Obligations (WA)
Advanced Verification with KeY (WA) Verification (RE)
22/10 Deadline Lab Assignment KeY
25/10 Exam - 14:00 - 18:00



Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Sep 28, 2013