GRRBAC-Verifier Welcome to the repository of the GR-RBAC Policy Verifier! More information about this project can be found in the wiki.
