System Development in Event-B

Aus VISki
Wechseln zu: Navigation, Suche

This is a focus subject for the Information Security Track. The following information is as of HS09.

Professor
Prof. T. S. Hoang
Prerequisites
None
Material
Slides
Exercises
The weekly excercises are optional.

Overlap

This lecture has a large overlap with the Formal Methods and Functional Programming lecture of the Bachelor program.

Rodin Platform

The excersises and the project make extensive usage of the Rodin Platform for development in Event-B.

Project

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.

Literature

  • No recommended literature.

Links