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


Validation
----------

This exemple shows the way to use Diversity verification tool. In this example, four validation profiles are available to test our system.
To see the options for each profile, go to Validation->Options...

  Coverage :
  ----------
  By selecting this profile for checking, Diveristy will search to generate several TTCN-3 testcases which covered 100% of our model if executed.
  
  Properties :
  ------------
  A simple and static property to verify has been written in a .txt file. Diversity will explore our system and check if the property is encountered.
  
  Observers :
  -----------
  With observer, it is possible to check more complex or "temporal" properties. To do so, a observer machine has to be written
  and the property verification will be done on this observer.
  
  Targeting :
  -----------
  With this one, a reception symbol in the model wil be targeted and a TTCN-3 testcase will be generated which will lead our system
  into the transition of the targeted reception symbol.
  
To verify the system, click on Validation->Checking... and select wanted profile.
  
  
  









