Slide 1
Slide 2
Pourquoi (un calcul de processus)
Comment
Exemples de calculs
Exemples – cont.
Slide 7
Slide 8
Le calcul des ambients
Le calcul des ambients (suite)
Slide 11
Slide 12
Slide 13
Slide 14
Slide 15
Slide 16
Slide 17
Intuition
Intuition – cont.
Trois outils théoriques utiles
Équivalence comportementale
Slide 22
Vérification et Types
Slide 24
Exemple de système mobile
Propriétés logiques
Slide 27
Logique modale (spatiale)
P satisfait A?
Logique modale (temporelle)
Slide 31
État actuel
Conclusion
Conclusion – cont.
Author: Dal Zilio Silvano
Homepage: http://www.cmi.univ-mrs.fr/~dalzilio/