Rodin Handbook


2.2.4 Event-B

Event-B is a notation for formal modelling based around an abstract machine notation.

Event-B is considered an evolution of B (also known as classical B). It is a simpler notation which is easier to learn and use. It comes with tool support in the form of the Rodin Platform.