2.3 Event-B Models

The Event-B models related to the tutoriuals are given in the next list:

2.3.1 Event-B Archives for the lectures

Archive Rodin for explaining differences between Event-B invariant and Eveny-B theorem.

Archive Rodin for the management of school.

Archive Rodin for clock modelling.

Archive Rodin for modelling the design of the factorial function.

2.3.2 Event-B Archives for the tutorials

Archive Rodin maynoothmodels.tar.gz.