search

cui-unige / modelisation-verification-2017

Cours de Master: Modélisation et Vérification
0 stars 1 forks source link

Gist for Exercice #9 #13

Open sergentd opened 6 years ago

sergentd commented 6 years ago

CTL exercices

sergentd commented 6 years ago

https://gist.github.com/sergentd/26d1bf7010733676ba87a0aac24b5646

saucisson commented 6 years ago

Le philosophe 3 mange avant 5 jusqu'à ce que 2 et 4 mangent en même temps.

baudgregoire commented 6 years ago

https://gist.github.com/baudgregoire/0964bd45daa2a078ee40ba557b0948e2

sergentd commented 6 years ago

https://gist.github.com/sergentd/4af28ec3b020dd8a2eee815929c49b51

sypha commented 6 years ago

https://gist.github.com/sypha/2fec5342b03903d30176522d4dd1754e

nabilnaja commented 6 years ago

https://gist.github.com/nabilnaja/a5afe876fb7055c57177e746b24e0000

sfernana commented 6 years ago

AG ( F5 => EF (e3 AU e2 ^ e4 ) )