Le langage PROMELA
Exercice : reprendre l'exercice précédent avec des séquences atomiques. Quelle est la valeur finale de la variable state ? byte state = 1; proctype A ...
Exercice : reprendre l'exercice précédent avec des séquences atomiques. Quelle est la valeur finale de la variable state ? byte state = 1; proctype A ...