diff --git a/Application_examples/Authentication.mp b/Application_examples/Authentication.mp index c9b6910a2f419ed793249dc98cedc1ad1e6efb93..714ef4b43e0be308c88b3226efaca436290a98ce 100644 --- a/Application_examples/Authentication.mp +++ b/Application_examples/Authentication.mp @@ -1,4 +1,4 @@ -/******************************************************************************* +/* Model of [Authentication] A Model for Simple Authentication @@ -53,4 +53,4 @@ ENSURE #CREDS_INVALID <= 3; ENSURE #Deny_access >= 3 <-> #Lock_account == 1; -ENSURE #Grant_access >= 1 -> #Lock_account == 0; \ No newline at end of file +ENSURE #Grant_access >= 1 -> #Lock_account == 0;