Semaine : Lesson 14 | LANGUAGES FOR CONCURRENCY AND DISTRIBUTION 2025-2026 - SCQ1098228 | STEM

Macroarea STEM

Accueil Calendrier My Media

Résumé de section

Verifying properties with the Edimburgh CWB: mutual exclusion, fairness, liveness, deadlock freedom, etc.
[CWB examples]
- Sélectionner l’activité Video recording
  
  Video recording Kaltura Video Resource
- Sélectionner l’activité Exercise E (in the list of exam exercises)
  
  Exercise E (in the list of exam exercises) Kaltura Video Resource