These are the problem classes which I completed for the Software Modelling and Design module at the University of Southampton. Using given problems, they model the solution in Event-B.
Requirements:
- Rodin
Due to potential copyright issues, the sheets accompying the problem are not provided.