Access Control example
----------------------
This is a classical access control system.
An administrator adds or deletes new users.
Registered users are allowed to get in.


MODEL CHECKING:
--------------
IF observers are included in this project to test model checking. 
Select Validation->Checking..., select IF_profile and choose observer to export with the system.

For the external model checker to work, you will need to have installed:
  - The IFx toolkit. You can ask for a download here:
    http://www-verimag.imag.fr/~async/IF/IFx.html
  - Python version 2.6 or later (not Python 3!), available at:
    http://www.python.org
