Software Engineering using
Formal Methods		 TDA293/DIT270, LP1, HT2014
Schedule

Places and Times

In the first half of the course we have lectures every week on Tuesdays and Thursday between 13:15 and 15:00. Exercise classes are 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.

In the second half of the course we instead have the exercise sessions on Tuesdays and lectures on Fridays.

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 2, at 13:15 in room EA.

Teacher: WA = Wolfgang Ahrendt Teaching assistants: MC =Mauricio Chimento BvD =Bart van Delft

Guest lecturer: AL = Anna-Lena Lamprecht

Course Part I
Lecture
Tuesdays 13:15-15:00
EA		 Lecture
Thursday 13:15-15:00
EA		 Exercises
Fridays 13:15-15:00
EA
1. W 36
1/9 - 5/9		 Course Introduction (WA) Promela Introduction (WA) No Exercises
2. W 37
8/9 - 12/9		 SPIN Introduction
Verifying Assertions (WA) 		Modeling Concurrency (WA) Promela (MC)
3. W 38
15/9 - 19/9		 Modeling Distribution (WA) Propositional and Temporal Logic (WA) Channels, LTL and Model Checking (BvD)
4. W 39
22/9 - 26/9		 Temporal Model Checking (WA) Guest Lecture
Data-Flow Analysis
as Model Checking (AL) 		Model Checking with SPIN (BvD)
3/10 Deadline Lab Assignment Promela/SPIN
Course Part II
Exercises
Tuesdays 13:15-15:00
EA		 Lecture
Thursday 13:15-15:00
EA		 Lecture
Fridays 13:15-15:00
EA
5. W 40
29/9 - 3/10		 First-Order Logic (BvD)
(Lecture) 		Java Modeling Language (WA) No Lecture
6. W 41
6/10 - 10/10		 First-Order + JML (MC) Dynamic Logic part 1 (WA) Dynamic Logic part 2 (WA)
7. W 42
13/10 - 17/10		 Dynamic Logic
Proof Obligations (WA) Verification with KeY (WA)
8. W 43
20/10 - 24/10 		Verification (MC)
Open Session (MC, BvD)
(Exercise) 		No Lecture
27/10 Deadline Lab Assignment KeY
31 October 2014 Exam - 2.00 pm in Hörsalsvägen 5


Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Oct 17, 2014