Question Cubicle

Voir le sujet précédent Voir le sujet suivant Aller en bas

Question Cubicle

Message par robinm le Mar 21 Fév - 23:07

Je bloque dès la question 1 sur Cubicle. Comment on fait pour prouver une propriété de liveness comme ce qui est demandé ? Je ne trouve rien là-dessus.

robinm

Messages : 4
Date d'inscription : 18/02/2017

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Question Cubicle

Message par robinm le Mer 22 Fév - 0:49

Okay je pense avoir trouvé, en utilisant Stop et la condition du while :

unsafe (i j) { PC[j] = Stop && not ( Want[Other[i]] && Turn <> i) }

Mais il me crache une erreur de syntaxe peu importe comment je le tourne :

unsafe (i j) { PC[j] = Stop && (Want[j] = False || Turn = i) }   ça passe pas non plus  (il aime pas le || apparemment)

robinm

Messages : 4
Date d'inscription : 18/02/2017

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Question Cubicle

Message par robinm le Mer 22 Fév - 1:17

jsuis con c'est pas un "not".
bon, du coup ça colle avec le parser de cubicle : unsafe (i j) { PC[j] = Stop && Want[j] = True && Turn <> i }

robinm

Messages : 4
Date d'inscription : 18/02/2017

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Question Cubicle

Message par Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Voir le sujet précédent Voir le sujet suivant Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum