Event-B/Rodin Assignment 1A.

In this assignment, you familiarize yourself with Event-B.

Please make sure you submit your work after the first lab, and leave a comment if you have questions. This assignment is mandatory but not graded; it is therefore OK if your solution is not perfect. It might help to watch demo of Rodin platform use for the CoffeeClub example presented at  lecture 3.

ASCII for the mathematical notation http://wiki.event-b.org/index.php/Rodin_Keyboard_User_Guide Links to an external site.

DD2460-EventB-Assignment-1A.pdf Download DD2460-EventB-Assignment-1A.pdf

As explained in the Introduction, a late submission will reduce the maximum grade of the second (graded) Event-B lab by one.