Le langage PROMELA

Exemple : problème de l'exclusion mutuelle lors de l'accès ... Exercice: montrer que cet algorithme assure l'exclusion mutuelle (TD-TP) ... livré instantanément.


Un extrait du document