System Development in Event-B
This is a focus subject for the Information Security Track. The following information is as of HS09.
- Prof. T. S. Hoang
- The weekly excercises are optional.
This lecture has a large overlap with the Formal Methods and Functional Programming lecture of the Bachelor program.
The excersises and the project make extensive usage of the Rodin Platform for development in Event-B.
You have to define, develop and refine an evelvator model in Event-B as a project. This is done in groups of two or three students.
- No recommended literature.