This is the repo for the RBAC Group Nesting Model in Event-B
The Event-B project can be opened by selecting the repo's folder in Event-B. With that you can see the details of the machine, and specificaly explore the resolution of the proof obligations
This repo is related to my Master Thesis (link given when available)