20 avril - 26 avril
Résumé de section
-
Semaine actuelle
-
-
Verifying properties with the Edimburgh CWB: mutual exclusion, fairness, liveness, deadlock freedom, etc.
[CWB examples]
-
-
-
- Pi-calculus
- From modelling to programming languages [slides]
-
-