The second Event-B exercise sheet is available. Please download it from https://wp.software.imdea.org/cbc/2021/03/14/826/ .
Deadline: Friday, March 26 th 2021, 23:59. That is the last teaching day before Easter holiday.
Please read carefully the exercise sheet. It is short but it is intended to contain all the information necessary. Pointers to more information are also included. Please follow them and read the associated information.
Please do not procrastinate. The homework is not difficult and can be done quickly. But it one finds difficulties, it may need some time to try different strategies. Also, if you have not worked yet with Rodin, you will need some time to get used to the the editor and, more importantly, the interface with the theorem provers (the "proving perspective").
Best,