Projets FIIL/COMASIC
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
Le deal à ne pas rater :
Aliexpress : codes promo valables sur tout le site
Voir le deal

Question Cubicle

Aller en bas

Question Cubicle Empty Question Cubicle

Message par robinm 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

Revenir en haut Aller en bas

Question Cubicle Empty Re: Question Cubicle

Message par robinm 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

Revenir en haut Aller en bas

Question Cubicle Empty Re: Question Cubicle

Message par robinm 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

Revenir en haut Aller en bas

Question Cubicle Empty Re: Question Cubicle

Message par Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Revenir en haut


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