Tutorials and Education SessionTuesday 3rd June, 14:00 - 17:00 Event-B The main idea behind Event-B is that it constitutes a general formal paradigm that can be adapted to many different situations: development of sequential programs, distributed ones, protocols, hardware programs, system models, failure analysis, etc. Note that this formal approach is closely related to other ones such as Action Systems, TLA, etc. The tutorial is made of two parts. In the first one, a general presentation of the concepts underlying Event-B is presented together with the corresponding mathematical foundation. In a second part, a number of cases will be quickly studied in order to illustrate this approach.
The tutorial will be at: Department of Computer
Science at Åbo Akademi University |