Course plan


Lecture #
Date
Title/contents
Material/Assignments
1
29. March
Introduction
Presenting the problem domain, defining the boundaries of the course. Course outline and rationale. The dimensions we’ll investigate: global/local, state based/behavioural test. Generic model for distributed system. State based and behavioural test in local scope.
Introduction to Promela and Spin, what is it, what does it do for us, how does it work.
  • “A Primer on Model Checking” [1]
  • Installing jSpin with newest version of Spin
  • Installation guide [4]
Guest lecture
2. April
Guest lecture(s)
Jan Peleska presents a number of 45-min lectures.
  • Nothing
2
12. April

  • ??
Exercises
16. April

  • ??
3
19. April

  • ??
Exercises
23. April

  • ??
4
26. April

  • ??
Exercises
30. April

  • ??
5
3. May

  • ??
Exercises
7. May

  • ??
6
10. May

  • ??
Exercises
14. May

  • ???
Exercises
21. May

  • ???
7
24. May
Course summary
Course summary, recap of selected material, talk'n questions about the exam.
  • ???